Formal Methods: Foundations and Applications de Leila Ribeiro

Formal Methods: Foundations and Applications: Programming and Software Engineering

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 Programming and Software Engineering

20%

Preț: 317^.85 lei
20%

Preț: 983^.99 lei
20%

Preț: 315^.48 lei
20%

Preț: 318^.67 lei
20%

Preț: 617^.17 lei
20%

Preț: 330^.54 lei
20%

Preț: 328^.16 lei
20%

Preț: 320^.24 lei
20%

Preț: 319^.42 lei
20%

Preț: 322^.61 lei
20%

Preț: 333^.68 lei
20%

Preț: 563^.29 lei
20%

Preț: 637^.96 lei
20%

Preț: 637^.64 lei
20%

Preț: 340^.84 lei
20%

Preț: 318^.67 lei
20%

Preț: 325^.79 lei
20%

Preț: 316^.28 lei
20%

Preț: 333^.68 lei
20%

Preț: 639^.38 lei
20%

Preț: 327^.36 lei
20%

Preț: 315^.48 lei
20%

Preț: 324^.19 lei
20%

Preț: 330^.54 lei
20%

Preț: 318^.67 lei
20%

Preț: 326^.10 lei
20%

Preț: 316^.73 lei
20%

Preț: 903^.30 lei
20%

Preț: 319^.42 lei
20%

Preț: 318^.67 lei
20%

Preț: 319^.75 lei
20%

Preț: 328^.94 lei
20%

Preț: 322^.61 lei
20%

Preț: 316^.28 lei
20%

Preț: 316^.28 lei
20%

Preț: 327^.36 lei
20%

Preț: 620^.33 lei
20%

Preț: 321^.81 lei
20%

Preț: 314^.86 lei
20%

Preț: 327^.36 lei
20%

Preț: 733^.68 lei
20%

Preț: 320^.72 lei
20%

Preț: 314^.67 lei
20%

Preț: 330^.54 lei
20%

Preț: 390^.68 lei
20%

Preț: 324^.20 lei
20%

Preț: 316^.28 lei
20%

Preț: 748^.63 lei
20%

Preț: 326^.55 lei
20%

Preț: 320^.24 lei

Preț: 319^.36 lei

Preț vechi: 399^.20 lei
-20% Nou

Puncte Express: 479

:
56^.51€ • 66^.27$ • 49^.63£

Carte tipărită la comandă

Livrare economică 05-19 februarie 26

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319498140
ISBN-10: 3319498142
Pagini: 264
Ilustrații: X, 253 p. 62 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:1st edition 2016
Editura: Springer
Seria Programming and Software Engineering

Locul publicării:Cham, Switzerland