Lindsay Groves | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?

FORMAL METHODS AND SOFTWARE ENGINEERING : 15TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERINGMETHODS, ICFEM 2013, QUEENSTOWN, NE

Lindsay Groves (ed.); Jing Sun (ed.)
Springer (2013)
Pehmeäkantinen kirja

51,40 €

FORMAL METHODS - PACIFIC 97 - PROCEEDINGS OF THE FMP'97, WELLINGTON, NEW ZEALAND, 9-11 JULY 1997, INCORPORATING OF THE 6TH AUSTR

Lindsay Groves; Steve Reeves
Springer Verlag, Singapore (1997)
Pehmeäkantinen kirja

87,70 €

Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, Ne

Lindsay Groves (ed.), Jing Sun (ed.)

51,40 €

Springer
Sivumäärä: 466 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2013, 11.09.2013 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus