Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Formal Methods and Software Engineering Kazuhiro Ogata

Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Autor: Kazuhiro Ogata, Mark Lawford, Shaoying Liu
Język: Angielski
Oprawa: Miękka
Wydawca: Springer International Publishing AG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42 zł
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engine...

Informacje o książce

Autor
Kazuhiro Ogata, Mark Lawford, Shaoying Liu
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2016
strony
486
EAN
9783319478456
ISBN
3319478451
Enbook ID
14277723
Wydawca
Springer International Publishing AG
Waga
381
Wymiary
150 x 210 x 22

Pełny opis

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veri cation and validation, software engineering, formal speci cation and modeling, software security, and software reliability.

Możesz być zainteresowany

Classical Groups and K-Theory

Alexander J. Hahn
634.56 zł

The Quire a Biographical Sketch

George William
73.20 zł

Tales of Mother

Dupe Kuku
79.53 zł

Phase Microscopy; Principles and Applications

Alva Herschel Bennett
186.62 zł

Notes on the Birds of Damara Land

John Henry Gurney
113.80 zł

A Very English Scandal

John Preston
48.77 zł

A PLEA FOR A NEW TRANSLATION OF THE SCRI

ALFRED DEWES
126.26 zł

Cattleya and Catopsis, The Lost Kitten

David Wood
63.86 zł

Object Lessons

Anna Quindlen
67.27 zł

Furniture Makes the Room

Barbara Blair
95.01 zł

Management of Nitrogen and Phosphorus Fertilizers in Sub-Saharan Africa

Uzo M. Mokwunye
634.56 zł

Klienci, którzy kupili tę książkę, kupili również

Histoire Du Roi de Rome: Duc de Reichstadt, Coup d'Oeil Sur La Revolution, Consulat Et l'Empire

Chopin-J-M
91.21 zł

El farallón

Sabas Martín
74.76 zł

Caliente !

Delannoy
130.54 zł

Das Buch der vergessenen Geschichten

Martina Meier (Hrsg.)
98.03 zł