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

Jim Davies

Pris

DKK 1.065

Bestilles fra fjernlager

Forventes klar til forsendelse 21. - 28. maj.

Vores kunder siger:

14 dages fuld returret

Topvurdering på Trustpilot

Tilføj til din iMusic ønskeseddel

Eller

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

Medie	Bøger Paperback Bog (Bog med blødt omslag og limet ryg)
Udgivet	22. juni 2007
ISBN13	9783540732099
Forlag	Springer-Verlag Berlin and Heidelberg Gm
Antal sider	662
Mål	155 × 235 × 34 mm · 929 g
Sprog	Fransk
Klipper/redaktør	Davies, Jim
Klipper/redaktør	Gibbons, Jeremy

Vis alle

Mere med Jim Davies

Se alt med Jim Davies ( f.eks. CD , Paperback Bog , Hardcover bog og Bog )