Detailansicht
FM 2015: Formal Methods
20th International Symposium, Oslo, Norway, June 24-26,2015, Proceedings, Lecture Notes in Computer Science 9109 - Programming and Software Engineering
ISBN/EAN: 9783319192482
Umbreit-Nr.: 8068002
Sprache:
Englisch
Umfang: xvi, 610 S., 156 s/w Illustr., 610 p. 156 illus.
Format in cm:
Einband:
kartoniertes Buch
Erschienen am 02.06.2015
Auflage: 1/2015
- Kurztext
- Includes supplementary material: sn.pub/extras