Verifying Concurrent Processes Using Tempo... - MEOVERSA

Cover: 9783540112051 | Verifying Concurrent Processes Using Temporal Logic | B. T. Hailpern

Rückseite: 9783540112051 | Verifying Concurrent Processes Using Temporal Logic | B. T. Hailpern

Cover: 9783540112051 | Verifying Concurrent Processes Using Temporal Logic | B. T. Hailpern

Rückseite: 9783540112051 | Verifying Concurrent Processes Using Temporal Logic | B. T. Hailpern

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

53,49 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Beschreibung

Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.

Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.

Inhaltsverzeichnis

Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.

Details

Erscheinungsjahr:	1982
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	viii 209 S.
ISBN-13:	9783540112051
ISBN-10:	3540112057
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Hailpern, B. T.
Hersteller:	Springer Springer-Verlag GmbH
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 13 mm
Von/Mit:	B. T. Hailpern
Erscheinungsdatum:	01.03.1982
Gewicht:	0,341 kg

Artikel-ID: 102156341

Ähnliche Produkte

Taschenbuch

Cover: 9780982304068 | Military Simulation & Serious Games | Roger D Smith | Taschenbuch

Military Simulation & Serious Games

Where We Came from and Where We Are Going

EAN: 9780982304068

Sprache: Englisch

Von/Mit: Roger D Smith

27,50 €

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781852334642 | Introduction to Languages, Machines and Logic | Alan P. Parkes | Buch

Introduction to Languages, Machines and Logic

Computable Languages, Abstract Machines and Formal Logic

EAN: 9781852334642

Sprache: Englisch

Von/Mit: Alan P. Parkes

74,85 €

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781449359805 | User-Centered Design | Travis Lowdermilk | Taschenbuch | Englisch

User-Centered Design

A Developer's Guide to Building User-Friendly Applications

EAN: 9781449359805

Sprache: Englisch

Von/Mit: Travis Lowdermilk

24,50 €

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781441919397 | Monte Carlo Statistical Methods | Christian Robert (u. a.) | Buch

Monte Carlo Statistical Methods

EAN: 9781441919397

Sprache: Englisch

Von/Mit: Christian Robert (u. a.)

149,79 €

Aktuell nicht verfügbar

Taschenbuch

Cover: 9783642171819 | Endliche Strukturen | Kristina Reiss (u. a.) | Taschenbuch | x | 2011

Endliche Strukturen

EAN: 9783642171819

Sprache: Deutsch

Von/Mit: Kristina Reiss (u. a.)

29,99 €

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781783982943 | Arduino Development Cookbook | Cornel Amariei | Taschenbuch | Englisch

Arduino Development Cookbook

EAN: 9781783982943

Sprache: Englisch

Von/Mit: Cornel Amariei

55,60 €

Aktuell nicht verfügbar

Buch

Cover: 9781493217519 | Data Modelling for SAP HANA 2.0 | Anil Bavaraju | Buch | Gebunden

Data Modelling for SAP HANA 2.0

EAN: 9781493217519

Sprache: Englisch

Von/Mit: Anil Bavaraju

89,95 €

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781804618257 | Pretrain Vision and Large Language Models in Python | Emily Webber

Pretrain Vision and Large Language Models in Python

End-to-end techniques for building and deploying foundation models on AWS

EAN: 9781804618257

Sprache: Englisch

Von/Mit: Emily Webber

81,95 €

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780415801812 | A Networked Self | Zizi Papacharissi | Taschenbuch | Englisch | 2010

A Networked Self

Identity, Community, and Culture on Social Network Sites

EAN: 9780415801812

Sprache: Englisch

Von/Mit: Zizi Papacharissi

74,10 €

Aktuell nicht verfügbar

Taschenbuch

Cover: 9783952598818 | Unleash | Patrick Steiner | Taschenbuch | Englisch | 2024 | ZIEL AG

EAN: 9783952598818

Sprache: Englisch

Von/Mit: Patrick Steiner

20,30 €

Aktuell nicht verfügbar