Integrated Formal Methods

Editat de Nadia Polikarpova, Steve Schneider

en Limba Engleză Paperback – 27 aug 2017

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.

The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

Citește tot Restrânge

Preț: 327^.48 lei

Preț vechi: 409^.36 lei
-20%

Puncte Express: 491

:
57^.90€ • 68^.33$ • 50^.71£

Carte tipărită la comandă

Livrare economică 13-27 aprilie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Specificații

ISBN-13: 9783319668444
ISBN-10: 3319668447
Pagini: 460
Ilustrații: XXI, 438 p. 109 illus.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.69 kg
Ediția:1st edition 2017
Editura: Springer
Locul publicării:Cham, Switzerland