FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings de Nikolaj Bjørner

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ț: 338^.77 lei

Preț vechi: 423^.47 lei
-20% Nou

Puncte Express: 508

:
64^.84€ • 67^.58$ • 53^.98£

Carte tipărită la comandă

Livrare economică 04-18 ianuarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

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