Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering - Michael Johnson - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540356332 - 27. juni 2006
Ved uoverensstemmelse mellem cover og titel gælder titel

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
DKK 566

Bestilles fra fjernlager

Forventes klar til forsendelse 4. - 12. jun.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 27. juni 2006
ISBN13 9783540356332
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 392
Mål 155 × 235 × 21 mm   ·   566 g
Sprog Tysk  
Klipper/redaktør Johnson, Michael
Klipper/redaktør Vene, Varmo
Vis alle

Mere med Michael Johnson

Andre har også købt

Se alt med Michael Johnson ( f.eks. Paperback Bog , CD , Hardcover bog , Bog og Partitur )