Formal Methods for Industrial Critical Systems de Manuel Núñez

Formal Methods for Industrial Critical Systems: Lecture Notes in Computer Science, cartea 9128

Editat de Manuel Núñez, Matthias Güdemann

en Limba Engleză Paperback – 27 mai 2015

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.
The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 558^.53 lei
20%

Preț: 571^.88 lei
20%

Preț: 675^.83 lei
20%

Preț: 1020^.28 lei
20%

Preț: 620^.33 lei
20%

Preț: 560^.93 lei
20%

Preț: 633^.70 lei
20%

Preț: 678^.21 lei
20%

Preț: 1359^.66 lei
20%

Preț: 560^.93 lei
20%

Preț: 733^.68 lei
20%

Preț: 793^.92 lei
15%

Preț: 558^.12 lei
20%

Preț: 793^.92 lei
20%

Preț: 560^.93 lei
20%

Preț: 748^.63 lei
20%

Preț: 562^.49 lei
20%

Preț: 1246^.46 lei
20%

Preț: 449^.81 lei
20%

Preț: 556^.96 lei
20%

Preț: 562^.49 lei
20%

Preț: 851^.78 lei
20%

Preț: 313^.10 lei
18%

Preț: 945^.44 lei
20%

Preț: 314^.86 lei
20%

Preț: 560^.93 lei
20%

Preț: 313^.87 lei
20%

Preț: 1033^.45 lei
20%

Preț: 563^.29 lei
20%

Preț: 733^.68 lei
20%

Preț: 1137^.10 lei
20%

Preț: 735^.28 lei
20%

Preț: 1079^.23 lei
20%

Preț: 560^.11 lei
20%

Preț: 791^.54 lei
15%

Preț: 672^.87 lei
20%

Preț: 1032^.47 lei
20%

Preț: 617^.17 lei
20%

Preț: 1022^.15 lei
20%

Preț: 984^.64 lei
20%

Preț: 620^.33 lei
20%

Preț: 979^.25 lei
20%

Preț: 402^.28 lei
20%

Preț: 316^.28 lei
20%

Preț: 636^.06 lei
20%

Preț: 320^.24 lei
20%

Preț: 328^.94 lei

Preț: 318^.69 lei

Preț vechi: 398^.37 lei
-20%

Puncte Express: 478

Carte tipărită la comandă

Livrare economică 06-20 iunie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Specificații

ISBN-13: 9783319194578
ISBN-10: 3319194577
Pagini: 232
Ilustrații: XVI, 213 p. 61 illus.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.36 kg
Ediția:2015
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland