Willkommen, schön sind Sie da!
Logo Ex Libris

FM 2016: Formal Methods

  • E-Book (pdf)
  • 789 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, ... Weiterlesen
CHF 118.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.



Inhalt

Interdisciplinary formal methods.- Formal methods in practice.- Tools for formal methods.- Role of formal methods in software and systems engineering.- Theoretical foundations.

Produktinformationen

Titel: FM 2016: Formal Methods
Untertitel: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Editor:
EAN: 9783319489896
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Veröffentlichung: 06.11.2016
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 32.57 MB
Anzahl Seiten: 789

Weitere Bände aus der Buchreihe "Programming and Software Engineering"