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

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

Ø 0.0
0 Bewertungen
46,37 €

Sofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library in good condition / aus Bibliothek in guten Zustand/.

Jetzt bei Ebay:

Zum Angebot *
  • EAN:
    9780387112053
  • ISBN:
    0387112057
  • Thematik:
    Design
  • Verlag:
    Springer-Verlag
  • Erscheinungsjahr:
    1982
  • Autor:
    Unbekannt
  • Buchtitel:
    Verifying Concurrent Processes Using Temporal Logic (Lecture Not
  • Sprache:
    Englisch
  • Format:
    Taschenbuch
  • Genre:
    Alle Bücher
  • Produktart:
    Bücher
  • Sparversand:
    Deutsche Post Warensendung kostenlos - Lieferung zwischen 20. May 2025 und 23. May 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Amerika, Europa, Asien, Australien
  • Versand ausgeschlossen:
    Russische Föderation

Ähnliche Artikel

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

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

49,95 €
Zum Angebot
Produktbild - Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Compute

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Compute

25,15 €
Zum Angebot
Produktbild - Ballekallu Chinna Eranna | Control of Nonlinear Processes using Fuzzy logic...

Ballekallu Chinna Eranna | Control of Nonlinear Processes using Fuzzy logic...

71,95 €
Zum Angebot
Produktbild - DIGITAL LOGIC AND AN INTRODUCTION TO PROCESSOR DESIGN Lecture Notes Shumba Buch

DIGITAL LOGIC AND AN INTRODUCTION TO PROCESSOR DESIGN Lecture Notes Shumba Buch

69,90 €
Zum Angebot
Produktbild - LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science | Iacona

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science | Iacona

63,95 €
Zum Angebot
Produktbild - Semantics of Concurrent Computation G. Kahn Taschenbuch viii Englisch 1979

Semantics of Concurrent Computation G. Kahn Taschenbuch viii Englisch 1979

31,95 €
Zum Angebot
Produktbild - Programming Erlang: Software for a Concurrent World von ... | Buch | Zustand gut

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

4,29 €
Zum Angebot
Produktbild - Andrea Iacona LOGIC: Lecture Notes for Philosophy, Mathematics, an (Taschenbuch)

Andrea Iacona LOGIC: Lecture Notes for Philosophy, Mathematics, an (Taschenbuch)

42,08 €
Zum Angebot
Produktbild - HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES mechanised formal

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

37,49 €
Zum Angebot
Produktbild - The Temporal Logic of Reactive and Concurrent Systems Specification Taschenbuch

The Temporal Logic of Reactive and Concurrent Systems Specification Taschenbuch

51,90 €
Zum Angebot
Produktbild - Andrea Iacona LOGIC: Lecture Notes for Philosophy, Mathemati (Gebundene Ausgabe)

Andrea Iacona LOGIC: Lecture Notes for Philosophy, Mathemati (Gebundene Ausgabe)

44,80 €
Zum Angebot
Produktbild - Modal Logic for Open Minds (CSLI Lecture Notes)

Modal Logic for Open Minds (CSLI Lecture Notes)

28,87 €
Zum Angebot
Produktbild - LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science Iacona x

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science Iacona x

59,90 €
Zum Angebot
Produktbild - Martin Schmidt (u. a.) | Computer Aided Concurrent Integral Design | Taschenbuch

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

47,95 €
Zum Angebot
Produktbild - LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science

36,66 €
Zum Angebot
Produktbild - Semantics of Systems of Concurrent Processes Irene Guessarian Taschenbuch v 1990

Semantics of Systems of Concurrent Processes Irene Guessarian Taschenbuch v 1990

51,90 €
Zum Angebot
Produktbild - Logic : Lecture Notes for Philosophy, Mathematics, and Computer Science, Hard...

Logic : Lecture Notes for Philosophy, Mathematics, and Computer Science, Hard...

44,84 €
Zum Angebot
Produktbild - Temporal Organization in Cells; a Dynamic Theory of Cellular Control Processes

Temporal Organization in Cells; a Dynamic Theory of Cellular Control Processes

38,46 €
Zum Angebot
Produktbild - Amir Pnueli (u. a.) | The Temporal Logic of Reactive and Concurrent Systems

Amir Pnueli (u. a.) | The Temporal Logic of Reactive and Concurrent Systems

49,95 €
Zum Angebot
Produktbild - LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science

36,08 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay