Cantitate/Preț
Produs

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings: Lecture Notes in Computer Science, cartea 10090

Editat de Leila Ribeiro, Thierry Lecomte
en Limba Engleză Paperback – 13 noi 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.

The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.


Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33075 lei

Preț vechi: 41344 lei
-20% Nou

Puncte Express: 496

Preț estimativ în valută:
6329 6568$ 5290£

Carte tipărită la comandă

Livrare economică 17-31 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319498140
ISBN-10: 3319498142
Pagini: 256
Ilustrații: X, 253 p. 62 illus.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.37 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Caracteristici

Includes supplementary material: sn.pub/extras