FM 2015: Formal Methods de Nikolaj Bjørner

FM 2015: Formal Methods: Lecture Notes in Computer Science

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

20%

Preț: 1020^.28 lei
Preț: 395^.25 lei
20%

Preț: 327^.36 lei
20%

Preț: 556^.96 lei
20%

Preț: 400^.77 lei
15%

Preț: 558^.12 lei
20%

Preț: 328^.94 lei
20%

Preț: 340^.04 lei
20%

Preț: 487^.46 lei
20%

Preț: 629^.71 lei
20%

Preț: 386^.08 lei
20%

Preț: 489^.11 lei
20%

Preț: 620^.33 lei
20%

Preț: 733^.68 lei
20%

Preț: 1033^.45 lei
20%

Preț: 782^.57 lei
20%

Preț: 679^.09 lei
20%

Preț: 330^.54 lei
20%

Preț: 1137^.10 lei
20%

Preț: 435^.28 lei
20%

Preț: 375^.72 lei
20%

Preț: 342^.61 lei
20%

Preț: 432^.78 lei
20%

Preț: 904^.16 lei
20%

Preț: 1391^.87 lei
20%

Preț: 373^.80 lei
20%

Preț: 400^.17 lei
20%

Preț: 1359^.66 lei
20%

Preț: 984^.64 lei
20%

Preț: 560^.93 lei
20%

Preț: 731^.97 lei
20%

Preț: 563^.29 lei
20%

Preț: 403^.00 lei
20%

Preț: 793^.92 lei
20%

Preț: 324^.19 lei
20%

Preț: 733^.68 lei
20%

Preț: 336^.86 lei
20%

Preț: 327^.36 lei
20%

Preț: 573^.45 lei
20%

Preț: 558^.53 lei
20%

Preț: 850^.42 lei
20%

Preț: 560^.93 lei
20%

Preț: 560^.93 lei
20%

Preț: 631^.96 lei
20%

Preț: 568^.70 lei
20%

Preț: 488^.90 lei
20%

Preț: 293^.24 lei

Preț: 337^.91 lei

Preț vechi: 422^.39 lei
-20%

Puncte Express: 507

:
59^.74€ • 70^.87$ • 51^.73£

Carte tipărită la comandă

Livrare economică 18 martie-01 aprilie

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
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.

Caracteristici

Includes supplementary material: sn.pub/extras

Papetărie, jocuri, reviste