Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering 2007 edition

Jim Davies

Pris

SEK 1.409

Beställningsvara

Förväntad leverans 4 - 14 jun

Våra kunder säger:

14 dagars returrätt

Toppbetyg på Trustpilot

Lägg till din iMusic-önskelista

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering 2007 edition

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

662 pages, biography

Media	Böcker Pocketbok (Bok med mjukt omslag och limmad rygg)
Releasedatum	22 juni 2007
ISBN13	9783540732099
Utgivare	Springer-Verlag Berlin and Heidelberg Gm
Antal sidor	662
Mått	155 × 235 × 34 mm · 929 g
Språk	Franska
Redaktör	Davies, Jim
Redaktör	Gibbons, Jeremy

Visa alla

Fler produkter med Jim Davies

Se alt med Jim Davies ( t.ex. CD , Pocketbok , Inbunden Bok och Bok )