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

Name: Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering
Price: 63.99 EUR
Availability: OutOfStock
Author: Michael Johnson

Cena

€ 63,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 31. aug. - . gada 14. sept.

Saņemiet paziņojumus par jauniem Michael Johnson izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Michael Johnson

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

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2006. gada 27. jūnijs
ISBN13	9783540356332
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	392
Izmēri	155 × 235 × 21 mm · 566 g
Valoda	Vācu
Redaktors	Johnson, Michael
Redaktors	Vene, Varmo