• Home /
  • Integrated Formal Methods

Integrated Formal Methods

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Artikelnummer: 978-3-319-10180-4
Einband: Kartonierter Einband (Kt)
Verfügbarkeit: POD-Titel lieferbar in 5 bis 10 Arbeitstagen
CHF 69.00
decrease increase

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagSpringer EN
EinbandKartonierter Einband (Kt)
Erscheinungsjahr2014
Seitenangabe402 S.
AusgabekennzeichenEnglisch
AbbildungenXII, 390 p. 125 illus., schwarz-weiss Illustrationen
MasseH23.5 cm x B15.5 cm 6'088 g
CoverlagSpringer (Imprint/Brand)
ReiheLecture Notes in Computer Science; Programming and Software Engineering
AutorAlbert, Elvira (Hrsg.) / Sekerinski, Emil (Hrsg.)

Alle Bände der Reihe "Lecture Notes in Computer Science; Programming and Software Engineering"

Weitere Titel von Elvira (Hrsg.) Albert

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten