Integrated Formal Methods

Name: Integrated Formal Methods
Price: 327.48 RON
Availability: OnlineOnly
Author: Nadia Polikarpova
ISBN: 9783319668444

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

Carte tipărită la comandă

Livrare economică 08-22 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.

Transport gratuit de la 400^.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.

Retur gratuit în 14 zile Comandă securizată și suport în română.

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