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 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Language EnglishEnglish
Book Paperback
Book Model Checking Software Dragan Bosnacki
Libristo code: 02961433
Publishers Springer International Publishing AG, April 2016
This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking... Full description
? points 125 b
51.78 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Agility Kompakt Peter Hruschka / Book Paperback
common.buy 22.29 €
Ositos de peluche adorables libro para colorear 2 Nick Snels / Book Paperback
common.buy 10.33 €
Match Jones Bolt / Book Hardback
common.buy 29.08 €
Camiño de paz S.A. DE XESTION DO PLAN XACOBEO / Book Paperback
common.buy 13.37 €
Les Breves de Fin du Monde Noyé / Book Paperback
common.buy 9.31 €
Destruidor - Parte Nove Sky Corgan / E-book Adobe ePub DRM
common.buy 1.00 €
PIMENT?ES (Capsicum annuum) Everton Vieira da Silva / Book Paperback
common.buy 39.31 €
guerra in casa. Come e perché la corsa al riarmo riguarda tutti noi Roberto Arditti / Book Paperback
common.buy 21.07 €
LEGO® City Joyeux Noël AMEET Studio / Book Book
common.buy 11.95 €
Postkarten-Set George Barbier George Barbier / Book Paperback
common.buy 6.68 €
Lettres Sur Le Pacifisme Scientifique Et l'Anticinese (2e Edition) DuBois-R / Book Paperback
common.buy 12.76 €
Legendes de Noel M G Lenotre / Book Paperback
common.buy 18.54 €
Gatiti Calea Domnului! Drepte Faceti Cararile Lui!: NU E Vrednic Cel Ce Are Suflet MIC in Casa Mare. Vrednic E Cel Ce Ridica Suflet Mare-N Casa Mica. Florian Ion Tiberiu Petrescu / Book Paperback
common.buy 6.17 €
Ajeduca 4. Escobar Domínguez / Book Paperback
common.buy 13.37 €
Naufragio : la historia olvidada del Vapor Príncipe de Asturias, hundido el 5 de marzo de 1916 con más de 600 personas a bordo Francisco García Novell / Book Paperback
common.buy 32.72 €
CUARTO MOSQUETERO, EL Riccardo Freda / Book Paperback
common.buy 11.95 €
Moutons Et Colons En Patagonie Fernando Coronato / Book Paperback
common.buy 94.34 €
Ursprachlehre Friedrich Schmitthenner / Book Hardback
common.buy 103.16 €
Psychologische Typen Carl G. Jung / Book Paperback
common.buy 59.78 €
François Truffaut Robert Ingram / Book Hardback
common.buy 14.89 €

This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.§§The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4§tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.§

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 Model Checking Software
Author Dragan Bosnacki, Anton Wijs
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 245
EAN 9783319325811
ISBN 3319325817
Libristo code 02961433
Publishers Springer International Publishing AG
Weight 4044
Dimensions 155 x 235 x 235

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Book Hardback
common.buy 103.16 €
Generational Differences In Political Attitudes And Political Behaviour In China Tianjian Shi / Book Paperback
common.buy 12.96 €
Snowbird Christmas: Holiday Stories to Warm Your Heart Nancy L Quatrano / Book Paperback
common.buy 8.60 €
Blades & Axes: Birth of Legends Book 1 Clinton Earl Jarvis / Book Paperback
common.buy 15.60 €
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Book Paperback
common.buy 15.80 €
The Darkest King: William's Story Gena Showalter / Book Paperback
common.buy 8.40 €
Shadow Lost D K Holmberg / Book Paperback
common.buy 13.06 €
Performances of Injustice Gabrielle (University of Warwick) Lynch / Book Hardback
common.buy 73.77 €
Missouri Birds James Kavanagh / Book Paperback
common.buy 9.72 €
Top
The Architect's Apprentice Elif Shafak / Book Paperback
common.buy 14.28 €
Modern Feminist Theory Jennifer Rich / Book Paperback
common.buy 15.60 €
Alcoholism Ernest Holmes / Book Paperback
common.buy 9.31 €
The Cheyenne Pool Lewis B Patten / Book Hardback
common.buy 39.41 €
Mediterranean Ecosystems G. Spezie / Book Paperback
common.buy 206.13 €
Roman Catholic Modernists Confront the Great War C. Talar / Book Hardback
common.buy 58.57 €
Works of J. J. Rousseau. Translated From the French. In ten Volumes. Volume the First. of 10; Volume 1 JEAN-JACQU ROUSSEAU / Book Hardback
common.buy 36.47 €
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Book Paperback
common.buy 14.89 €
Bears Don't Read! Emma Chichester Clark / Book Hardback
common.buy 14.89 €
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Book Hardback
common.buy 132.45 €
Top New
From the World of Minor Threats Library Edition Volume 1 Jordan Blum / Book Hardback
common.buy 37.08 €
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Book Paperback
common.buy 103.16 €
Wiel Arets - Bas Princen John Bezold / Book Hardback
common.buy 93.73 €

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?