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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.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 338 b
138.29 € VAT included
In stock at our supplier Shipping in 10-13 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Leselöwen Lesetraining 1. Klasse - Ein Stern für das kleine Einhorn Naeko Ishida / Book Paperback
common.buy 6.99 €
AUDI RS C. Bergander / Book Book
common.buy 72.49 €
Gréčtina konverzácia collegium / Book Paperback
common.buy 8.89 €
Análisis comparativo de la vulnerabilidad al cambio climático en función del género / Book Paperback
common.buy 33.59 €
Blackforest: El secreto de la estirpe abominable ALBRIGHT / Book Paperback
common.buy 30.99 €
Hungary - (angol-német-francia-olasz-spanyol-magyar nyelvű) Hajni István; Kolozsvári Ildikó / Book binding.
common.buy 25.09 €
LA DESOBEDIENCIA DE LAS PALABRAS MESTRE / Book Book
common.buy 22.79 €
de l'Envahissement Ganglionnaire Dans Le Cancer de la Prostate MACAIRE-J / Book Paperback
common.buy 16.09 €
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Book Paperback
common.buy 10.69 €
Hörverstehen, 4 Audio-CDs. Tl.1 Thomas Storz / Audio Audio CD
common.buy 46.50 €
Sezóna pokušenia Ľubica Mesarošová / Book Hardback
common.buy 2.49 €
Rechtsstaat oder Ausnahmezustand? Wolfgang Hetzer / Book Paperback
common.buy 55.49 €
Die Königin der Weißen Rose Philippa Gregory / Book Paperback
common.buy 12.00 €
CASIO FX-9860GII, Ausgabe Baden-Württemberg Monika Eisenmann / Book Sheet
common.buy 9.59 €
Baustatik in Beispielen Konstantin Meskouris / Book Paperback
common.buy 79.99 €
Cultura y modernidad : perspectivas filosóficas de Oriente y Occidente Karl-Otto Apel / Book Paperback
common.buy 30.59 €
Mysterium Rob Wilson / Book Paperback
common.buy 13.49 €
Lettres Sur l'Orient, Ecrites Pendant Les Annees 1827 Et 1828. Tome 1 De Bussierre-M-T / Book Paperback
common.buy 28.19 €
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Book Paperback
common.buy 69.99 €
Frau fuhrt Regie Karin Martensen / Book Paperback
common.buy 54.00 €
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Book Paperback
common.buy 147.29 €
Zimní a vánoční písně 1 / Book Paperback
common.buy 5.79 €
SIMD Processing for Software Defined Radio Peter Westermann / Book Paperback
common.buy 89.90 €
Technik in Der Literatur Der Fr hen Moderne Tessy Korber / Book Paperback
common.buy 55.29 €

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

American Family Catherine Marshall-Smith / Book Paperback
common.buy 14.99 €
Demystifying Meaningful Coincidences (Synchronicities) Gibbs A. Williams / Book Hardback
common.buy 159.89 €
MZ ETZ Models (81 - 95) Mark Coombs / Book Paperback
common.buy 43.79 €
Be Still and Know Millie Stamm / Book Paperback
common.buy 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 / Book Hardback
common.buy 49.49 €
Day The Mountain Cried Robert L Skidmore / Book Hardback
common.buy 24.99 €
Top
Berenstain Bears and Too Much TV Jan Berenstain / Book Paperback
common.buy 5.89 €
1849 .. M D Likhutin / Book Paperback
common.buy 24.09 €
They Slept Upon Their Rifles Marshall E Kuykendall / Book Hardback
common.buy 40.69 €
Absent in the Spring Mary Westmacott / Book Paperback
common.buy 11.39 €
Treatise on the Criminal Law as Now Administered in the United States, Volume 2 Emlin McClain / Book Hardback
common.buy 47.49 €
Archaeology of the Communist Era Ludomir R. Lozny / Book Hardback
common.buy 128.69 €
Today Ruby Will Be a Princess Paula Croyle / Book Hardback
common.buy 24.29 €
REVOLUTIONARY TYPES IDA A. TAYLOR / Book Paperback
common.buy 28.79 €
Death of an Elgin Marble David Dickinson / Book Paperback
common.buy 11.49 €
Gateway to the Christian College Experience J Randolph Turpin Jr / Book Paperback
common.buy 15.39 €
Hebrew vocabulary for English speakers - 9000 words Andrey Taranov / Book Paperback
common.buy 17.19 €
Public Transit Operations: The Strategic Professional Chester Patton / Book Paperback
common.buy 13.59 €
Cezanne and the Post-Bionian Field Robert Snell / Book Paperback
common.buy 54.09 €
Top
Cambridge Lower Secondary Complete Physics: Workbook (Second Edition) Helen Reynolds / Book Paperback
common.buy 19.99 €
Sustainability Challenges in Sub-Saharan Africa I Abubakari Ahmed / Book Paperback
common.buy 94.69 €
Black or White, Vol. 11 V11 / Book Paperback
common.buy 11.19 €
China, Japan and Regional Leadership in East Asia Christopher M Dent / Book Hardback
common.buy 184.19 €
Content Marketing for Nonprofits - A Communications Map for Engaging Your Community, Becoming a Favorite Cause, and Raising More Money Kivi Leroux Miller / Book Paperback
common.buy 46.49 €

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?