Logic-based program synthesis and transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	LOPSTR (VerfasserIn)
Weitere Verfasser:	Hermenegildo, Manuel V. (HerausgeberIn), Lopez-Garcia, Pedro (HerausgeberIn), López García, Pedro (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham, Switzerland Springer 2017
Schriftenreihe:	Lecture notes in computer science 10184
Schlagworte:	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!

Keine Ergebnisse!