Produktnummer:
1866eae9ca5b82461c83cf756b2b5967cb
| Themengebiete: | Abstract data types Deduction Deduktion Konstruktive Methoden Lineare Logik Nebenläufigkeit Prolog Verteilte Systeme computer computer science |
|---|---|
| Veröffentlichungsdatum: | 13.12.2011 |
| EAN: | 9783642793639 |
| Sprache: | Englisch |
| Seitenzahl: | 470 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Schwichtenberg, Helmut |
| Verlag: | Springer Berlin |
Produktinformationen "Proof and Computation"
This volume contains a series of lectures by leading researchers on the impact of the concept of a formal proof on computation theory under several aspects: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.
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