[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Computer-Aided Verification of Coordinating Processes

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 481 b
203.59 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

TOP
Gréčtina konverzácia collegium / Paperback
common.buy 8.87 €
Berenstain Bears and Too Much TV Jan Berenstain / Paperback
common.buy 6.41 €
Zimní a vánoční písně 1 / Paperback
common.buy 4.70 €
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Paperback
common.buy 10.48 €
Die Königin der Weißen Rose Philippa Gregory / Paperback
common.buy 12.85 €
Sezóna pokušenia Ľubica Mesarošová / Hardback
common.buy 2.56 €
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Paperback
common.buy 64.22 €
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Paperback
common.buy 139.15 €
Baustatik in Beispielen Konstantin Meskouris / Paperback
common.buy 69.57 €
Be Still and Know Millie Stamm / Paperback
common.buy 16.90 €
Der Einfluss der Ladengestaltung auf die Zufriedenheit der Kund/innen Katharina Bedek / Paperback
common.buy 52.45 €
Developing the Virtues Julia Annas / Hardback
common.buy 150.17 €
Content Marketing for Nonprofits - A Communications Map for Engaging Your Community, Becoming a Favorite Cause, and Raising More Money Kivi Leroux Miller / Paperback
common.buy 53.19 €
Auf Digitalen Pfaden Waldemar Vogelgesang / Paperback
common.buy 53.47 €
1849 .. M D Likhutin / Paperback
common.buy 27.93 €
Frau fuhrt Regie Karin Martensen / Paperback
common.buy 57.80 €

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

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

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