Verwandte Artikel zu Logic of Programs: Workshop, ETH Z??rich, May-July...
Logic of Programs: Workshop, ETH Z??rich, May-July 1979: 125 (Lecture Notes in Computer Science) - Softcover
Neu kaufen
Diesen Artikel anzeigen
EUR 57,93
EUR 13,72 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Suchergebnisse für Logic of Programs: Workshop, ETH Z??rich, May-July...
Beispielbild für diese ISBN
Logic of Programs: Workshop, ETH Zürich, May-July 1979 (Lecture Notes in Computer Science, 125)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540111603_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logic of Programs
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Artikel-Nr. 4881260
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logic of Programs : Workshop, ETH Zürich, May-July 1979
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783540111603
Anzahl: 1 verfügbar