GUTSCHEIN
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Diese Produkte könnten Sie auch interessieren:
Logic of Programs
Workshop, ETH Zürich, May-July 1979
256 Seiten, Taschenbuch
€ 63,90
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Themen | Informatik und Informationstechnologie Informatik Theoretische Informatik |
| ISBN | 9783540111603 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.11.1981 |
| Größe | 235 x 155 mm |
| Verlag | Springer |
| Herausgegeben von | E. Engeler |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Unsere Prinzipien
- ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
- ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
- ✔ alle FALTER-Produkte und Abos, nur hier!
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags
On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL - Propositional algorithmic logic.- Propositional dynamic logics of programs: A survey.- On the algorithmic theory of dictionaries.- On the algorithmic properties of concurrent programs.- A survey of the logic of effective definitions.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Themen | Informatik und Informationstechnologie Informatik Theoretische Informatik |
| ISBN | 9783540111603 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.11.1981 |
| Größe | 235 x 155 mm |
| Verlag | Springer |
| Herausgegeben von | E. Engeler |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Unsere Prinzipien
- ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
- ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
- ✔ alle FALTER-Produkte und Abos, nur hier!
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Diese Produkte könnten Sie auch interessieren:
Sagen Sie uns Ihre Meinung
Wie gefällt Ihnen unser Shop?
Ihr Name (optional)
Ihre E-Mail Adresse (optional)