FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Programming and Software Engineering - Cliff Jones - Boeken - Springer International Publishing AG - 9783319064093 - 9 april 2014
Indien omslag en titel niet overeenkomen, is de titel correct

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Programming and Software Engineering 2014 edition

Cliff Jones

Prijs
€ 120,49

Besteld in een afgelegen magazijn

Verwachte levering 18 - 27 nov.
Voeg toe aan uw iMusic-verlanglijst

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Programming and Software Engineering 2014 edition

The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.


750 pages, 185 black & white illustrations, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 9 april 2014
ISBN13 9783319064093
Uitgevers Springer International Publishing AG
Pagina's 750
Afmetingen 155 × 235 × 39 mm   ·   1,06 kg
Taal en grammatica Frans  
Uitgever Jones, Cliff
Uitgever Pihlajasaari, Pekka
Uitgever Sun, Jun

Alles tonen

Meer door Cliff Jones