Computer-Aided Verification of Coordinating Processes

Name: Computer-Aided Verification of Coordinating Processes
Brand: Princeton University Press
SKU: 01019063
Price: 138.29 EUR
Availability: InStock
Author: Robert P. Kurshan
ISBN: 9780691634890

The Automata-Theoretic Approach

Robert P. Kurshan

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01019063

Verlag Princeton University Press, April 2016

Formal verification increasingly has become recognized as an answer to the problem of how to create... Vollständige Beschreibung

Libristo-Code: 01019063

338 b

138.29 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Leselöwen Lesetraining 1. Klasse - Ein Stern für das kleine Einhorn Naeko Ishida

Broschur

6.99 €

AUDI RS C. Bergander

Buch

72.59 €

Gréčtina konverzácia collegium

Broschur

9.09 €

Análisis comparativo de la vulnerabilidad al cambio climático en función del género

Broschur

33.59 €

Blackforest: El secreto de la estirpe abominable ALBRIGHT

Broschur

30.89 €

Hungary - (angol-német-francia-olasz-spanyol-magyar nyelvű) Hajni István; Kolozsvári Ildikó

binding.

25.09 €

LA DESOBEDIENCIA DE LAS PALABRAS MESTRE

Buch

21.89 €

de l'Envahissement Ganglionnaire Dans Le Cancer de la Prostate MACAIRE-J

Broschur

16.09 €

Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský

Broschur

10.89 €

Hörverstehen, 4 Audio-CDs. Tl.1 Thomas Storz

Audio CD

46.50 €

Sezóna pokušenia Ľubica Mesarošová

Hardcover

2.59 €

Rechtsstaat oder Ausnahmezustand? Wolfgang Hetzer

Broschur

55.49 €

Die Königin der Weißen Rose Philippa Gregory

Broschur

12.00 €

Baustatik in Beispielen Konstantin Meskouris

Broschur

79.99 €

Cultura y modernidad : perspectivas filosóficas de Oriente y Occidente Karl-Otto Apel

Broschur

30.59 €

Mysterium Rob Wilson

Broschur

13.59 €

Lettres Sur l'Orient, Ecrites Pendant Les Annees 1827 Et 1828. Tome 1 De Bussierre-M-T

Broschur

28.19 €

Grundkurs Microsoft Dynamics Ax Andreas Luszczak

Broschur

69.99 €

Frau fuhrt Regie Karin Martensen

Broschur

54.00 €

Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst

Broschur

147.29 €

Zimní a vánoční písně 1

Broschur

5.79 €

SIMD Processing for Software Defined Radio Peter Westermann

Broschur

89.90 €

Technik in Der Literatur Der Fr hen Moderne Tessy Korber

Broschur

55.29 €

Der Einfluss der Ladengestaltung auf die Zufriedenheit der Kund/innen Katharina Bedek

Broschur

51.99 €

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computer-Aided Verification of Coordinating Processes

Autor Robert P. Kurshan

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2016

Anzahl der Seiten 284

EAN 9780691634890

ISBN 9780691634890

Libristo-Code 01019063

Verlag Princeton University Press

Gewicht 567

Abmessungen 152 x 229 x 20

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Analysis, allgemein > Komplexe Analysis, komplexe Variablen, Funktionentheorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Maschinenbau und Werkstoffe > Fertigungstechnik und Ingenieurwesen > Computerunterstützte Fertigung (CAM)

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik

Mathematik und Naturwissenschaften > Mathematik > Diskrete Mathematik

EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > Computer-Aided Design (CAD)

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Industrielle Chemie und Fertigungstechnologien

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

American Family Catherine Marshall-Smith

Broschur

14.99 €

Demystifying Meaningful Coincidences (Synchronicities) Gibbs A. Williams

Hardcover

159.89 €

MZ ETZ Models (81 - 95) Mark Coombs

Broschur

43.79 €

Be Still and Know Millie Stamm

Broschur

15.39 €

The Life Of George Washington: Commander In Chief Of The Armies Of The United States Of America, Throughout The War Which Established Their Independen David Ramsay

Hardcover

49.49 €

Day The Mountain Cried Robert L Skidmore

Hardcover

24.99 €

Berenstain Bears and Too Much TV Jan Berenstain

Broschur

5.79 €

1849 .. M D Likhutin

Broschur

24.09 €

They Slept Upon Their Rifles Marshall E Kuykendall

Hardcover

40.69 €

Absent in the Spring Mary Westmacott

Broschur

11.39 €

Treatise on the Criminal Law as Now Administered in the United States, Volume 2 Emlin McClain

Hardcover

47.49 €

Archaeology of the Communist Era Ludomir R. Lozny

Hardcover

128.69 €

Today Ruby Will Be a Princess Paula Croyle

Hardcover

24.29 €

REVOLUTIONARY TYPES IDA A. TAYLOR

Broschur

28.79 €

Death of an Elgin Marble David Dickinson

Broschur

11.49 €

Gateway to the Christian College Experience J Randolph Turpin Jr

Broschur

15.39 €

Hebrew vocabulary for English speakers - 9000 words Andrey Taranov

Broschur

17.19 €

Public Transit Operations: The Strategic Professional Chester Patton

Broschur

13.59 €

Cezanne and the Post-Bionian Field Robert Snell

Broschur

54.09 €

Cambridge Lower Secondary Complete Physics: Workbook (Second Edition) Helen Reynolds

Broschur

18.49 €

Sustainability Challenges in Sub-Saharan Africa I Abubakari Ahmed

Broschur

94.69 €

Black or White, Vol. 11 V11

Broschur

11.19 €

China, Japan and Regional Leadership in East Asia Christopher M Dent

Hardcover

184.09 €

Content Marketing for Nonprofits - A Communications Map for Engaging Your Community, Becoming a Favorite Cause, and Raising More Money Kivi Leroux Miller

Broschur

46.49 €

Häufig gesucht

Categories

Authors

Publishers

Häufig gesucht

Waren

Categories

Authors

Publishers

Versand

Kaufberater

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Häufig gesucht

Categories

Authors

Publishers

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!