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
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

From Reactive Systems to Cyber-Physical Systems

Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Language EnglishEnglish
Book Paperback
Book From Reactive Systems to Cyber-Physical Systems Ezio Bartocci
Libristo code: 24520080
Publishers Springer Nature Switzerland AG, September 2019
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on th... Full description
? points 136 b
20 475 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

EL DIA QUE SUBI AL CIELO GIMENO / Book Book
common.buy 7 389 Ft
Comprensione dei dispositivi elettronici di base Pradip Kamble / Book Paperback
common.buy 21 668 Ft
Hochmoorleichen Roland Weis / Book Paperback
common.buy 5 097 Ft
Bosslet- Obras en Espana, Works in Spain, Werke in Spanien Eberhard Bosslet / E-book Adobe ePub DRM
common.buy 1 992 Ft
AUXILIAR ADMINISTRATIVO ADMINISTRACION GENERAL DE LA DIPU 7 EDITORES / Book Paperback
common.buy 11 821 Ft
Oberonova předehra - sbírka povídek Kevin Hearne / Book Paperback
common.buy 4 931 Ft
EL CASCANUECES NOCENTINI / Book Hardback
common.buy 5 321 Ft
Pogromca potworów. Alex Neptun David Owen / Book Paperback
common.buy 1 902 Ft
Nic do ukrycia. Poznaj mowę ciała z agentem FBI Joe Navarro Book binding.
common.buy 4 341 Ft
Saggio Di Bibliografia Aeronautica Italiana, Con Una Dissertazione Di A. M. Cortenovis Ripubblicata In Appendice Da E. Vajna De Pava... Angelo Maria Cortenovis / Book Paperback
common.buy 6 500 Ft
Le Sens de la Tech 2 - Dialogue entre penseurs et dirigeants Anne-Sophie MOREAU / Book Paperback
common.buy 7 327 Ft
True Love Nina-Maria Klug / E-book Adobe ePub DRM
common.buy 28 406 Ft
La boba para los otros y discreta para sí LOPE DE VEGA / Audio Audio CD
common.buy 5 354 Ft
LA MILLA VERDE Stephen King / Book Paperback
common.buy 5 140 Ft
Michael Fischer - ein Neurotiker? Kristina Scherer / Book Paperback
common.buy 6 814 Ft
Eine Marktanalyse für Möbel-Onlineshops Maret Kunz / Book Paperback
common.buy 25 120 Ft
Difesa Dell'allegria Mario Benedetti / Book Paperback
common.buy 7 689 Ft
Žáby se přece jedí Piu Marie Eatwellová / Book Hardback
common.buy 3 904 Ft
Die Lehre von der Aufmerksamkeit in der Psychologie des 18. Jahrhunderts David Braunschweiger / Book Hardback
common.buy 10 689 Ft
Italian Pocket Puzzles - Food & Drink - Volume 4: A collection of puzzles and quizzes to aid your language learning Erik Zidowecki / Book Paperback
common.buy 4 793 Ft
La Zapatera Prodigiosa Federico Garcia Lorca / Book Paperback
common.buy 3 229 Ft
Usata al pub Lolita Minx / E-book Adobe ePub DRM
common.buy 1 070 Ft
Le Rêve de mon père - Tome 3 Taiyô Matsumoto / Book Paperback
common.buy 6 258 Ft
Inbox Enki Bilal / Book Paperback
common.buy 7 389 Ft

This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checking, probabilistic processes, runtime verification, and the modeling and analysis of cardiac cells, neural circuits and flocking behaviors. He is perhaps best known for the algorithm he and Paris Kanellakis invented for checking bi-simulation. The title of this volume From Reactive Systems to Cyber-Physical Systems reflects Scott's main research focus throughout his career. It contains the papers written by his closest friends and collaborators. The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.

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 From Reactive Systems to Cyber-Physical Systems
Author Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
Language English
Binding Book - Paperback
Date of issue 2019
Number of pages 301
EAN 9783030315139
Libristo code 24520080
Publishers Springer Nature Switzerland AG
Weight 492
Dimensions 155 x 235 x 18

Categories

Computing & Information Technology > Computer programming / software engineering
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

Self Engineering Shuichi Fukuda / Book Paperback
common.buy 20 475 Ft
Broken & Screwed 2 (Hardcover) TIJAN / Book Hardback
common.buy 8 687 Ft
Tide is Coming In / La marea esta llegando CALEE M. LEE / Book Paperback
common.buy 6 120 Ft
Metal Oxides J.L.G. Fierro / Book Paperback
common.buy 39 114 Ft
Using the Resources of the Country Church Ernest Rutherford Groves / Book Hardback
common.buy 12 439 Ft
Nuclear Non-Proliferation BECKMAN / Book Hardback
common.buy 91 814 Ft
Top
Disney Princess 5-Minute Princess Stories DISNEY BOOK GROUP / Book Hardback
common.buy 4 265 Ft
Political Economy of Divergent Welfare States in the Global South Elias Phaahla / E-book Adobe ePub DRM
common.buy 53 693 Ft
Science Bug Pupil Book Year 1 DEBBIE ECCLES / Book Paperback
common.buy 5 777 Ft
Trace with Me Cursive Letters Thinking Kids / Book Paperback
common.buy 3 514 Ft
Top
Norton Anthology of Western Music J. Peter (Indiana University) Burkholder / Book Spiral bound
common.buy 28 121 Ft
Three Little Pieces Eleanor Russell Brown / Book Paperback
common.buy 6 105 Ft
The Cancer Cure Diet for Dogs: Using the Ketogenic Diet to Prevent, Treat, and Cure Cancer in Your Furriest Family Member The Dogington Post / Book Paperback
common.buy 10 841 Ft
Say HelloTo My Little Friend REVENGE Nisha Glenn / Book Paperback
common.buy 7 632 Ft
Marred On The Potter's Wheel: How God uses Pain, Suffering, and Sorrows to Create a Life Fit for His Purpose Rebecca S Dunaway / Book Paperback
common.buy 4 070 Ft
Voice Capt L Edward Vanhoose M a / Book Paperback
common.buy 7 632 Ft
Report Regarding the Laws Governing Stock Corporations on the American Continent Inter-American High Commission Central E / Book Paperback
common.buy 6 861 Ft
The Opium Wars and Sino-Japanese Wars: The History of the Conflicts that Ended China's Standing as a World Power Charles River Editors / Book Paperback
common.buy 5 140 Ft
Top
The Feisty Omega and His Twin Mates Vol. 3 V03 / Book Paperback
common.buy 5 159 Ft
Structural Bioinformatics Zoltán Gáspári / Book Hardback
common.buy 63 964 Ft
I love it when my wife lets me go kitesurfing Mb Journals / Book Paperback
common.buy 3 000 Ft
Ultimate Dictionary of Real Estate Terms Susoeff Pe Jr. / Book Paperback
common.buy 7 979 Ft
The Listeners and Other Poems Walter De La Mare / Book Paperback
common.buy 8 354 Ft
Emerging Trends in Third-Generation Holocaust Literature Alan L. Berger / E-book Adobe ePub DRM
common.buy 39 295 Ft

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