Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
PPL 99 Kč
Zásilkovna 54 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č
PPL 99 Kč
Zásilkovna 54 Kč
Doprava zdarma se Zásilkovnou nad 1 499 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 is the refereed proceedings of the 11th International Conference on Algebraic Methodology and S...
Celý popis
Libristo kód: 01562279
?
168 b
168 b
1 681
Kč
Skladem u dodavatele v malém množství
Odesíláme za 12-17 dnů
30 dní na vrácení zboží
This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers together with 3 system demonstrations and 3 invited talks. Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.
Informace o knize
Plný název
Algebraic Methodology and Software Technology
Autor
Michael Johnson, Varmo Vene
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2006
Počet stran
392
EAN
9783540356332
ISBN
3540356339
Libristo kód
01562279
Nakladatelství
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha
1260
Rozměry
155 x 235 x 22
