Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Logic Programming: Formal Methods and Practical Applications Studies in Computer

Ø 0.0

0 Bewertungen

21,00 €

Elsevier Science Ltd 1995. 404 Seiten gebundene Ausgabe Sprache: Englisch ISBN: 0444820922 EAN: 9780444820921 Bestell-Nr: 2161963 Bemerkungen: Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel...). .

Jetzt bei Ebay:

Zum Angebot *

EAN:

9780444820921
ISBN:

0444820922
Verlag:

Elsevier Science Ltd
Erscheinungsjahr:

1995
Autor:

Plümer, Lutz and Christoph Beierle
Buchtitel:

Logic Programming: Formal Methods and Practical Applications
Sprache:

Englisch
Format:

gebundene Ausgabe
Genre:

90 Varia
Produktart:

Bücher

Sparversand:

Deutsche Post Warensendung kostenlos - Lieferung zwischen 20. June 2025 und 21. June 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Kleinpaket 5,95 EUR - Lieferung zwischen 20. June 2025 und 21. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Amerika, Europa, Asien
Versand ausgeschlossen:

Bolivien , Falklandinseln (Malwinen) , Französisch-Guayana , Guyana , Paraguay , Suriname , Venezuela , Brunei Darussalam , Laos , Taiwan , ... und weitere

Logic Programming: Formal Methods and Practical Applications Studies in Computer

Logic Programming Apic Studies in Data Processing K.L. Clark 1983 Academic Press

Programmable Logic Controllers: Programming Methods and Applications von John...

Cambridge IGCSE and O Level Computer Science Algorithms, Programming and Logic

Research Methods in Business Studies: A Practical Guide,Pervez ,

The Way of Z: Practical Programming with Formal Methods, Jonathan Jacky

Axiomatising the Logic of Computer Programming | R. Go*dblatt | Taschenbuch

Axiomatising the Logic of Computer Programming R. Goldblatt

Formal Methods for Safety and Security | Case Studies for Aerospace Applications

Studies and Exercises in Formal Logic,: Including a generalisation of logical pr

Keynes - Studies and Exercises in Formal Logic Including a Generaliza - L555z

Keynes - Studies and Exercises in Formal Logic Including a Generaliza - T555z

Functional and Logic Programming Matthias Blume

Logic Programming in Action Gerard Comyn

Studies and Exercises in Formal Logic - 9781536161953

Programmable Logic Controllers: Programming Methods and Applications by Hackw...

An Introduction to Practical Formal Methods Using Temporal Logic | Fisher | Buch

Tableau Methods for Propositional Logic and Term Logic (Studies in Philosophy,

Logic in Computer Science: Modelling and Reasoning about Systems

Fundamentals of Quantum Programming in IBM's Quantum Computers - 9783030635855

Studies and Exercises in Formal Logic by John Neville Keynes (English) Hardcover

Logic Programming: Formal Methods and Practical Applications Studies in Computer

Ähnliche Artikel

Logic Programming Apic Studies in Data Processing K.L. Clark 1983 Academic Press

Programmable Logic Controllers: Programming Methods and Applications von John...

Cambridge IGCSE and O Level Computer Science Algorithms, Programming and Logic

Research Methods in Business Studies: A Practical Guide,Pervez ,

The Way of Z: Practical Programming with Formal Methods, Jonathan Jacky

Axiomatising the Logic of Computer Programming | R. Go*dblatt | Taschenbuch

Axiomatising the Logic of Computer Programming R. Goldblatt

Formal Methods for Safety and Security | Case Studies for Aerospace Applications

Studies and Exercises in Formal Logic,: Including a generalisation of logical pr

Keynes - Studies and Exercises in Formal Logic Including a Generaliza - L555z

Keynes - Studies and Exercises in Formal Logic Including a Generaliza - T555z

Functional and Logic Programming Matthias Blume

Logic Programming in Action Gerard Comyn

Studies and Exercises in Formal Logic - 9781536161953

Programmable Logic Controllers: Programming Methods and Applications by Hackw...

An Introduction to Practical Formal Methods Using Temporal Logic | Fisher | Buch

Tableau Methods for Propositional Logic and Term Logic (Studies in Philosophy,

Logic in Computer Science: Modelling and Reasoning about Systems

Fundamentals of Quantum Programming in IBM's Quantum Computers - 9783030635855

Studies and Exercises in Formal Logic by John Neville Keynes (English) Hardcover

Cookie Hinweis