First-order Programming Theories
☆☆☆☆☆
(0 reviews)
| Satıcı | Product price | Delivery | Toplam | Stok Durumu | Updated | |
|---|---|---|---|---|---|---|
| IN Indigo Books & Music | 142,95 CAD | free | 142,95 CAD | Mevcut | 2 hafta önce | View offer |
Fiyatlar ve stok durumu değişebilir. Son Güncelleme: 02.08.2026 17:38.
EAN
9783540542773
None
0,0
☆☆☆☆☆
0 reviews
5★
0%
4★
0%
3★
0%
2★
0%
1★
0%
Product reviews
No reviews yet — be the first!
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.
Similar products
Repertorium Fr Kunstwissenschaft
from $188.95
Pilzverwertung Und Pilzkonservierung
from $112.32
Die Rechtsstellung Des Verlegers Nach Modernem Recht
from $127.00
Einfuhrung in Die Kommunikationswissenschaft
from $153.08
ber Die Tempel Und Grber Im Alten gypten Und Ihre Bildwerke Und Inschriften
from $153.08
Die Baltische Steinkistengrberkultur
from $138.44
Über die Seele
from $164.27