Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 299 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Algebraic Methodology and Software Technology
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Met...
Celý popis
Libristo kód: 01559586
?
147 b
147 b
1 472
Kč
Skladem u dodavatele v malém množství
Odesíláme za 10-14 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc.
Informace o knize
Plný název
Algebraic Methodology and Software Technology
Autor
Charles Rattray, Savitri Maharaj
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2004
Počet stran
572
EAN
9783540223818
ISBN
3540223819
Libristo kód
01559586
Nakladatelství
Springer, Berlin
Váha
860
Rozměry
156 x 234 x 30
