Theories of programming and formal methods essays dedicated to Jifeng He on the occasion of his 70th birthday

Set-theoretic models of computationsModel-based mutation testing of reactive systems : from semantics to automated test-case generation -- Pliant modalities in hybrid event-B -- A relational approach to an algebraic community : from Paul Erdős to He Jifeng -- Practical theory extension in event-B --...

Ausführliche Beschreibung

Bibliographische Detailangaben

Weitere Verfasser:	Liu, Zhiming (HerausgeberIn), Woodcock, Jim (HerausgeberIn), Zhu, Huibiao (HerausgeberIn), He, Jifeng (GefeierteR)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2013
Schriftenreihe:	Lecture notes in computer science 8051 : Festschrift
Schlagworte:	Computer programming > Formal methods (Computer science) > Software engineering > Konferenzschrift > Programmierung > Formale Methode > Software Engineering
Online Zugang:	Inhaltsverzeichnis Inhaltstext Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!