Logic-based program synthesis and transformation 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Gupta, Gopal (VerfasserIn)
Körperschaft:	LOPSTR (BerichterstatterIn)
Weitere Verfasser:	Peña, Ricardo (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham u.a. Springer 2014
Schriftenreihe:	Lecture notes in computer science 8901
Schlagworte:	Computer science > Software engineering > Logic design > Computational complexity > Artificial intelligence > Computer Science > Konferenzschrift > Logische Programmierung > Programmsynthese > Programmtransformation > Programmverifikation > Formale Methode
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!