Foundations of software science and computation structures 17th international conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	FOSSACS (BerichterstatterIn), ETAPS (BerichterstatterIn)
Weitere Verfasser:	Muscholl, Anca (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Heidelberg, Berlin u.a. Springer 2014
Schriftenreihe:	Lecture notes in computer science 8412 : Advanced research in computing and software science
Schlagworte:	Konferenzschrift > Theoretische Informatik > Softwarewissenschaft > Programmiersprache > Programmierlogik > Formale Methode > Software Engineering
Online Zugang:	Inhaltsverzeichnis Inhaltstext Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!