Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering - Michael Johnson - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540356332 - 27. juni 2006
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering 2006 edition

Michael Johnson

Pris
NOK 699

Bestillingsvarer

Forventes levert 5. - 17. jul

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering 2006 edition

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.

392 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 27. juni 2006
ISBN13 9783540356332
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 392
Mål 155 × 235 × 21 mm   ·   566 g
Språk Tysk  
Redaktør Johnson, Michael
Redaktør Vene, Varmo
Vis alle

Mer med Michael Johnson

Andre har også kjøpt

Se alt med Michael Johnson ( f.eks. Pocketbok , CD , Innbunden bok , Bok og Spiralbok )