Logics of programs

Bibliographische Detailangaben
1. Verfasser: rohit Parikh
Format: Printed Book
Sprache:English
Veröffentlicht: Springer-Verlag 1985
Beschreibung
Beschreibung:424
ISBN:3-540-15648-8

Ähnliche Einträge