Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

Language EnglishEnglish
Book Hardback
Book Computer-Aided Verification of Coordinating Processes Robert P. Kurshan
Libristo code: 01019063
Publishers Princeton University Press, April 2016
Formal verification increasingly has become recognized as an answer to the problem of how to create... Full description
? points 463 b
190.81 €
In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

LA DESOBEDIENCIA DE LAS PALABRAS MESTRE / Book Book
common.buy 22.09 €
Sezóna pokušenia Ľubica Mesarošová / Book Hardback
common.buy 2.41 €
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Book Paperback
common.buy 10.18 €
de l'Envahissement Ganglionnaire Dans Le Cancer de la Prostate MACAIRE-J / Book Paperback
common.buy 15.53 €
Hungary - (angol-német-francia-olasz-spanyol-magyar nyelvű) Hajni István; Kolozsvári Ildikó / Book binding.
common.buy 24.01 €
Blackforest: El secreto de la estirpe abominable ALBRIGHT / Book Paperback
common.buy 29.96 €
L'Homme qui rêvait d'être Dexter Stéphane Bourgoin / Book Paperback
common.buy 25.12 €
A medio siglo de "El malestar en la cultura" de Sigmund Freud Braunstein / Book binding.
common.buy 22.49 €
Gréčtina konverzácia collegium / Book Paperback
common.buy 8.37 €
Análisis comparativo de la vulnerabilidad al cambio climático en función del género / Book Paperback
common.buy 31.98 €
AUDI RS C. Bergander / Book Book
common.buy 70.12 €
Leselöwen Lesetraining 1. Klasse - Ein Stern für das kleine Einhorn Naeko Ishida / Book Paperback
common.buy 6.75 €
Auf Digitalen Pfaden Waldemar Vogelgesang / Book Paperback
common.buy 47.11 €
Der Einfluss der Ladengestaltung auf die Zufriedenheit der Kund/innen Katharina Bedek / Book Paperback
common.buy 49.84 €
Technik in Der Literatur Der Fr hen Moderne Tessy Korber / Book Paperback
common.buy 52.97 €
SIMD Processing for Software Defined Radio Peter Westermann / Book Paperback
common.buy 79.81 €
Zimní a vánoční písně 1 / Book Paperback
common.buy 5.54 €
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Book Paperback
common.buy 140.76 €
Frau fuhrt Regie Karin Martensen / Book Paperback
common.buy 48.02 €
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Book Paperback
common.buy 65.88 €
Coming soon
Hörverstehen, 4 Audio-CDs. Tl.1 Thomas Storz / Audio Audio CD
common.buy 43.28 €
Lettres Sur l'Orient, Ecrites Pendant Les Annees 1827 Et 1828. Tome 1 De Bussierre-M-T / Book Paperback
common.buy 26.63 €
Mysterium Rob Wilson / Book Paperback
common.buy 13.11 €
Cultura y modernidad : perspectivas filosóficas de Oriente y Occidente Karl-Otto Apel / Book Paperback
common.buy 29.56 €

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Computer-Aided Verification of Coordinating Processes
Author Robert P. Kurshan
Language English
Binding Book - Hardback
Date of issue 2016
Number of pages 284
EAN 9780691634890
ISBN 9780691634890
Libristo code 01019063
Publishers Princeton University Press
Weight 567
Dimensions 152 x 229 x 20

Categories

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Complex analysis, complex variables
Technology, Engineering, Agriculture > Mechanical engineering & materials > Production engineering > Computer aided manufacture (CAM)
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Technology, Engineering, Agriculture > Industrial chemistry & manufacturing technologies
Computing & Information Technology > Computer science
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Complete Works of W. H. Auden, Volume 1 W. H. Auden / Book Hardback
common.buy 117.45 €
Today Ruby Will Be a Princess Paula Croyle / Book Hardback
common.buy 23.10 €
Magic Curtain Thomas Torrans / Book Hardback
common.buy 23.00 €
MZ ETZ Models (81 - 95) Mark Coombs / Book Paperback
common.buy 41.66 €
Be Still and Know Millie Stamm / Book Paperback
common.buy 14.72 €
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 / Book Hardback
common.buy 47.62 €
Day The Mountain Cried Robert L Skidmore / Book Hardback
common.buy 23.80 €
Berenstain Bears and Too Much TV Jan Berenstain / Book Paperback
common.buy 5.44 €
1849 .. M D Likhutin / Book Paperback
common.buy 22.90 €
They Slept Upon Their Rifles Marshall E Kuykendall / Book Hardback
common.buy 39.14 €
Absent in the Spring Mary Westmacott / Book Paperback
common.buy 10.79 €
Treatise on the Criminal Law as Now Administered in the United States, Volume 2 Emlin McClain / Book Hardback
common.buy 45.70 €
Archaeology of the Communist Era Ludomir R. Lozny / Book Hardback
common.buy 123.20 €
REVOLUTIONARY TYPES IDA A. TAYLOR / Book Paperback
common.buy 27.74 €
American Family Catherine Marshall-Smith / Book Paperback
common.buy 14.22 €
Death of an Elgin Marble David Dickinson / Book Paperback
common.buy 10.59 €
Gateway to the Christian College Experience J Randolph Turpin Jr / Book Paperback
common.buy 14.72 €
Hebrew vocabulary for English speakers - 9000 words Andrey Taranov / Book Paperback
common.buy 16.54 €
Public Transit Operations: The Strategic Professional Chester Patton / Book Paperback
common.buy 13.01 €
Cezanne and the Post-Bionian Field Robert Snell / Book Paperback
common.buy 52.26 €
Top
Cambridge Lower Secondary Complete Physics: Workbook (Second Edition) Helen Reynolds / Book Paperback
common.buy 17.85 €
Sustainability Challenges in Sub-Saharan Africa I Abubakari Ahmed / Book Paperback
common.buy 90.50 €
Black or White, Vol. 11 V11 / Book Paperback
common.buy 10.59 €
Fauvel Studies Andrew Wathey / Book Hardback
common.buy 670.72 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?