Cantitate/Preț
Produs
Total produse
Vezi coșul
FM 2015: Formal Methods de Nikolaj Bjørner

FM 2015: Formal Methods: Lecture Notes in Computer Science, cartea 9109

Editat de Nikolaj Bjørner, Frank de Boer
en Limba Engleză Paperback – 2 iun 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33895 lei

Preț vechi: 42369 lei
-20%

Puncte Express: 508

Carte tipărită la comandă

Livrare economică 11-25 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 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: 9783319192482
ISBN-10: 3319192485
Pagini: 628
Ilustrații: XVI, 610 p. 156 illus.
Dimensiuni: 155 x 235 x 34 mm
Greutate: 0.94 kg
Ediția:2015
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

Automated circular assume-guarantee reasoning.- Towards formal verification of orchestration computations using the K framework.- Narrowing operators on template abstract domains.