First-Order Programming Theories
Produktnummer:
1832a7653f10894012bd7ce9c8d5c51b9d
| Autor: | Gergely, Tamas Ury, Laszlo |
|---|---|
| Themengebiete: | Logik erster Ordnung Programmiertheorie Programmierung (EDV) Programming Theory Programmverifikation Temporale Logik first-order reasoning formal method logic program verification |
| Veröffentlichungsdatum: | 05.12.1991 |
| EAN: | 9783540542773 |
| Sprache: | Englisch |
| Seitenzahl: | 353 |
| Produktart: | Gebunden |
| Verlag: | Springer Berlin |
Produktinformationen "First-Order Programming Theories"
This book proposes a purely classical first-order logical approach to the theory of programming. It provides a unified framework to present new programming theories and logics systematically and to investigate and compare existing ones with respect to their expressive and proof-theoretic powers.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen