Theory and practice of formal methods essays dedicated to Frank de Boer on the occasion of his 60th birthday

Bibliographische Detailangaben

Weitere Verfasser:	Ábrahám, Erika (HerausgeberIn), Bonsangue, Marcello M. (HerausgeberIn), Johnsen, Einar Broch (HerausgeberIn), Boer, Frank S. de (GefeierteR)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2016
Schriftenreihe:	Lecture notes in computer science 9660
Schlagworte:	Festschrift > Formale Methode
Online Zugang:	Cover Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!