First-order Programming Theories
☆☆☆☆☆
(0 opinii)
Najniższa cena (z dostawą)
161,95 CAD
Liczba ofert1
Ostatnia aktualizacja6 dni temu
| Sprzedawca | Cena produktu | Dostawa | Razem | Dostępność | Aktualizacja | |
|---|---|---|---|---|---|---|
| IN Indigo Books & Music | 142,95 CAD | 19,00 CAD | 161,95 CAD | Dostępny | 6 dni temu | Zobacz ofertę |
Ceny i dostępność mogą ulec zmianie. Ostatnia aktualizacja: 02.08.2026 17:38.
EAN
9783642635038
None
0,0
☆☆☆☆☆
0 opinii
5★
0%
4★
0%
3★
0%
2★
0%
1★
0%
Opinie o produkcie
Brak opinii — bądź pierwszy!
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.
Podobne produkty
Repertorium Fr Kunstwissenschaft
od $188.95
Pilzverwertung Und Pilzkonservierung
od $112.32
Die Rechtsstellung Des Verlegers Nach Modernem Recht
od $127.00
Einfuhrung in Die Kommunikationswissenschaft
od $153.08
ber Die Tempel Und Grber Im Alten gypten Und Ihre Bildwerke Und Inschriften
od $153.08
Die Baltische Steinkistengrberkultur
od $138.44
Über die Seele
od $164.27