Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering - Michael Johnson - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540356332 - 27 juin 2006
Si la couverture et le titre ne correspondent pas, le titre est 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

Prix
€ 63,49

Commandé depuis un entrepôt distant

Livraison prévue 10 - 22 juil.

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 27 juin 2006
ISBN13 9783540356332
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 392
Dimensions 155 × 235 × 21 mm   ·   566 g
Langue et grammaire German  
Éditeur Johnson, Michael
Éditeur Vene, Varmo
Afficher tout

Plus par Michael Johnson

D'autres ont aussi acheté

Voir tous les Michael Johnson ( par ex. Paperback Book , CD , Hardcover Book , Book et Spiral Book )