FM 2016: Formal Methods

Angebote / Angebote:

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.

Lieferbar in ca. 20-45 Arbeitstagen

Preis

135,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9783319489889
Status Lieferbar in ca. 20-45 Arbeitstagen
Autor Fitzgerald, John / Heitmeyer, Constance / Gnesi, Stefania / Philippou, Anna
Einband C, Software Engineering, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Management of Computing and Information Systems, Computation by Abstract Devices, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming, IT Operations, Theory of Computation, computer science, Mathematical logic, Computer logic, Management information systems, Computers, Mathematical theory of computation, Computer programming / software engineering, Computer architecture & logic design, information architecture, Maintenance & repairs, Kartonierter Einband (Kt)
Sprache eng
Seiten 789
Verlag Springer Nature EN
Reihe Lecture Notes in Computer Science, Programming and Software Engineering
Publikationsjahr 2016

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.