Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Model Checking Software Bernd Fischer
Codice Libristo: 09486332
Casa editrice Springer International Publishing AG, agosto 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Nech se vést láskou Sri Chinmoy / Pubblicazioni cartacee Carte
common.buy 4.29 €
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendario/Agenda Calendario
common.buy 22.29 €
COLOREA TU UNICORNIO / Libro Libro
common.buy 8.49 €
Jóvenes empresarios: apoyo y formación / Libro In brossura
common.buy 56.79 €
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Libro In brossura
common.buy 15.09 €
Two Indian Children of Long Ago Frances Lilian Taylor / Libro In brossura
common.buy 16.09 €
Servalo Raine Hawthorn / Libro In brossura
common.buy 11.79 €
451° по Фаренгейту Рэй Брэдбери / Libro Rigido
common.buy 14.69 €
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Libro In brossura
common.buy 67.39 €
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Libro Rigido
common.buy 6.59 €
Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Libro In brossura
common.buy 25.19 €
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Libro In brossura
common.buy 85.59 €
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Libro Rigido
common.buy 86.39 €
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Libro In brossura
common.buy 21.29 €
MONSIEUR MARCEL ou de la communication PELAEZ / Libro In brossura
common.buy 16.49 €
Waiting for spring T01 / Libro In brossura
common.buy 11.29 €
Low Carb Diat Fur Anfanger Simone Jacobs / Libro In brossura
common.buy 16.49 €
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Libro In brossura
common.buy 12.29 €
DUSK MAIDEN OF AMNESIA 4 MAYBE / Libro Rigido
common.buy 16.29 €
Economico
LAC Wanderkarte Madonie 1:50 000 / Pubblicazioni cartacee Mappa
common.buy 9.31 €
Jardin Des Cultures Guyanaises Buland-F / Libro In brossura
common.buy 66.99 €
Teczka ofertowa 9002 A4 20 koszulek / Libro binding.
common.buy 3.99 €
Krankheiten des Magens Max Einhorn / Libro In brossura
common.buy 25.29 €
TEHG - ZuV 2020 Lars Hoffmann / Libro Libro
common.buy 72.89 €

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Model Checking Software
Autore Bernd Fischer, Jaco Geldenhuys
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2015
Numero di pagine 319
EAN 9783319234038
ISBN 331923403X
Codice Libristo 09486332
Casa editrice Springer International Publishing AG
Peso 5153
Dimensioni 155 x 235 x 20

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Libro Rigido
common.buy 700.79 €
Branding Japanese Food Katarzyna J. Cwiertka / Libro Rigido
common.buy 88.49 €
History and Development of the Arabic Language Mohamed El-Sharkawi / Libro In brossura
common.buy 73.39 €
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Libro In brossura
common.buy 32.99 €
Journal of Biblical and Theological Studies Ryan A. Brandt / Libro In brossura
common.buy 21.09 €
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Libro In brossura
common.buy 12.59 €
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Libro In brossura
common.buy 12.19 €
The New Century Standard Letter-Writer Alfred B. Chambers / Libro In brossura
common.buy 37.29 €
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Libro Rigido
common.buy 58.99 €
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Libro In brossura
common.buy 60.49 €
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Libro In brossura
common.buy 99.39 €
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Libro Rigido
common.buy 46.49 €
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Libro In brossura
common.buy 16.39 €
Travel Activity Book For Kids Ages 6-8: Over 150 Travelling Activities for Children, including Puzzles, Mazes, Dot-to-Dots, Drawing and Coloring, Lett Natural Designs / Libro In brossura
common.buy 11.19 €
Psychology Ryan Gold / Libro In brossura
common.buy 14.79 €
Delicious Rob Dunn / Libro In brossura
common.buy 17.29 €
Superpower Involvement In The Middle East Paul Marantz / Libro elettronico Adobe ePub DRM
common.buy 56.39 €
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / Libro elettronico Adobe ePub DRM
common.buy 2.09 €
Protecting Maggie / Libro In brossura
common.buy 16.49 €
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Libro Rigido
common.buy 246.49 €
New Improved Great Dane Understanding and Training Guide Book Vince Stead / Libro In brossura
common.buy 16.89 €
I migliori
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Libro In brossura
common.buy 20.49 €
Analog Circuit Design Volume Three Bob Dobkin / Libro Rigido
common.buy 106.29 €
Women Vietnam Veterans DONNA A. LOWERY / Libro In brossura
common.buy 32.29 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo