Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Lindsay Groves, Jing Sun (edición)
Format: Buch
Sprache:Englisch
Veröffentlicht: Berlín, Alemania : Springer, 2013, c2013
Schriftenreihe:(Lecture Notes in Computer Science)
Online-Zugang:Ver documento en línea
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!
Beschreibung
Beschreibung:1 libro electrónico en línea (XVIII, 466 p.)
1 recurso en línea
ISBN:978-3-642-41202-8
ISSN:1611-3349
Zugangseinschränkungen:Licencias ilimitadas