Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering - Michael Johnson - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540356332 - 27 juni 2006
Om omslag och titel inte matchar är det titeln som gäller

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
SEK 759

Beställningsvara

Förväntad leverans 13 - 24 dec
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista

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öcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 27 juni 2006
ISBN13 9783540356332
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 392
Mått 155 × 235 × 21 mm   ·   566 g
Språk Tyska  
Redaktör Johnson, Michael
Redaktör Vene, Varmo
Visa alla

Fler produkter med Michael Johnson

Andra har också köpt

Se alt med Michael Johnson ( t.ex. Pocketbok , CD , Inbunden Bok , Bok och Partitur )