Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering - Michael Johnson - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540356332 - 27 juni 2006
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 64,99

Besteld in een afgelegen magazijn

Verwachte levering 4 - 13 nov.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 27 juni 2006
ISBN13 9783540356332
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 392
Afmetingen 155 × 235 × 21 mm   ·   566 g
Taal en grammatica Duits  
Uitgever Johnson, Michael
Uitgever Vene, Varmo
Alles tonen

Meer door Michael Johnson

Anderen hebben ook gekocht

Bekijk alles van Michael Johnson ( bijv. Paperback Book , CD , Hardcover Book , Book en Sheet music )