Cantitate/Preț
Produs

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings: 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ț: 34170 lei

Preț vechi: 42713 lei
-20% Nou

Puncte Express: 513

Preț estimativ în valută:
6540 6798$ 5417£

Carte tipărită la comandă

Livrare economică 04-18 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319192482
ISBN-10: 3319192485
Pagini: 622
Ilustrații: XVI, 610 p. 156 illus.
Dimensiuni: 155 x 235 x 38 mm
Greutate: 0.87 kg
Ediția:2015
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

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.

Caracteristici

Includes supplementary material: sn.pub/extras