Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha 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
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer International Publishing AG
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147 Kč
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engine...

Informace o knize

Autor
Kazuhiro Ogata, Mark Lawford, Shaoying Liu
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2016
Stránek
486
EAN
9783319478456
ISBN
3319478451
Enbook ID
14277723
Vydavatel
Springer International Publishing AG
Hmotnost
381
Rozměry
150 x 210 x 22

Kompletní popis

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.

Mohlo by vás zajímat

Classical Groups and K-Theory

Alexander J. Hahn
3 426 Kč

The Quire a Biographical Sketch

George William
392 Kč

Tales of Mother

Dupe Kuku
432 Kč

Phase Microscopy; Principles and Applications

Alva Herschel Bennett
1 006 Kč

Notes on the Birds of Damara Land

John Henry Gurney
611 Kč

A Very English Scandal

John Preston
259 Kč

A PLEA FOR A NEW TRANSLATION OF THE SCRI

ALFRED DEWES
686 Kč

Cattleya and Catopsis, The Lost Kitten

David Wood
347 Kč

Object Lessons

Anna Quindlen
362 Kč

Furniture Makes the Room

Barbara Blair
510 Kč

Management of Nitrogen and Phosphorus Fertilizers in Sub-Saharan Africa

Uzo M. Mokwunye
3 426 Kč

Zákaznicí kteří koupili tuto knihu koupili také

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

Chopin-J-M
496 Kč

El farallón

Sabas Martín
427 Kč

Caliente !

Delannoy
745 Kč

Das Buch der vergessenen Geschichten

Martina Meier (Hrsg.)
532 Kč