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

HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES mechanised formal

Ø 0.0

0 Bewertungen

37,49 €

1., Aufl. Logos Berlin, 2003. 156 S. Taschenbuch Sprache: Englisch ISBN: 3832502874 EAN: 9783832502874 Bestell-Nr: 661096004 Bemerkungen: Alle Bücher & Medienartikel von Book Broker sind stets in gutem & sehr gutem gebrauchsfähigen Zustand. Unser Produktfoto entspricht dem hier angebotenen Artikel, dieser weist folgende Merkmale auf: Helle/saubere Seiten in fester Bindung. .

Jetzt bei Ebay:

Zum Angebot *

EAN:

9783832502874
ISBN:

3832502874
Thematik:

Bücher
Verlag:

Logos Berlin
Erscheinungsjahr:

2003
Autor:

Tej, Haykal
Buchtitel:

HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES
Sprache:

Englisch
Format:

Taschenbuch
Genre:

Varia
Produktart:

Bücher

Standardversand:

DHL Kleinpaket kostenlos - Lieferung zwischen 20. May 2025 und 21. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Amerika, Europa, Asien, Australien
Versand ausgeschlossen:

Frankreich , Spanien , Russische Föderation

HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES mechanised formal

Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relation

Processes of Coastal Development. Zenkovich, V.P.:

Formal Methods and Software Development. Proceedings of the International...

Johannes Frederik Jesper Traub | Formal Verification of Concurrent Embedded...

Semantics of Systems of Concurrent Processes Irene Guessarian Taschenbuch v 1990

Concurrency in .NET: Modern patterns of concurrent ... | Buch | Zustand sehr gut

Mechanised Farming and Nuba Peasants: An Example for Non-sustainable Development

Programming Erlang: Software for a Concurrent World von ... | Buch | Zustand gut

Firepower Mechanised Warfare Chris Bishop Hardback

ERLANG Programming: A Concurrent Approach to Software Development

B. T. Hailpern | Verifying Concurrent Processes Using Temporal Logic | Buch

Programming Erlang: Software for a Concurrent World | Buch | Armstrong, Joe

Firepower Mechanised Warfare 2002 Hardback Book Tactical Illustrations Performan

MILITARY TRANSPORT OF WORLD WAR 1: Mechanised Warfare in Colour 1850-1939

Hartmut Ehrig (u. a.) | Formal Methods and Software Development. Proceedings...

WARRIOR MECHANISED COMBAT VEHICLE 1987-1994 (NVG Nr. 10) Osprey New Vanguard

Grzegorz Bocewicz | Declarative Models of Concurrent Cyclic Processes | Buch

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer S

Martin Schmidt (u. a.) | Computer Aided Concurrent Integral Design | Taschenbuch

Informal Urban Residential Land Delivery and Development Processes | Musyoka

HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES mechanised formal

Ähnliche Artikel

Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relation

Processes of Coastal Development. Zenkovich, V.P.:

Formal Methods and Software Development. Proceedings of the International...

Johannes Frederik Jesper Traub | Formal Verification of Concurrent Embedded...

Semantics of Systems of Concurrent Processes Irene Guessarian Taschenbuch v 1990

Concurrency in .NET: Modern patterns of concurrent ... | Buch | Zustand sehr gut

Mechanised Farming and Nuba Peasants: An Example for Non-sustainable Development

Programming Erlang: Software for a Concurrent World von ... | Buch | Zustand gut

Firepower Mechanised Warfare Chris Bishop Hardback

ERLANG Programming: A Concurrent Approach to Software Development

B. T. Hailpern | Verifying Concurrent Processes Using Temporal Logic | Buch

Programming Erlang: Software for a Concurrent World | Buch | Armstrong, Joe

Firepower Mechanised Warfare 2002 Hardback Book Tactical Illustrations Performan

MILITARY TRANSPORT OF WORLD WAR 1: Mechanised Warfare in Colour 1850-1939

Hartmut Ehrig (u. a.) | Formal Methods and Software Development. Proceedings...

WARRIOR MECHANISED COMBAT VEHICLE 1987-1994 (NVG Nr. 10) Osprey New Vanguard

Grzegorz Bocewicz | Declarative Models of Concurrent Cyclic Processes | Buch

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer S

Martin Schmidt (u. a.) | Computer Aided Concurrent Integral Design | Taschenbuch

Informal Urban Residential Land Delivery and Development Processes | Musyoka

Cookie Hinweis