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 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Model Checking Software

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Model Checking Software Jaco C. van de Pol
Codice Libristo: 01656755
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Descrizione completa
? points 148 b
60.49 €
Magazzino esterno Inviamo tra 9-15 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Star Wars Hidden Empire T02 / Libro In brossura
common.buy 22.29 €
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Calendario/Agenda Calendario
common.buy 56.39 €
Be Kind (Nepali-English) Livia Lemgruber / Libro In brossura
common.buy 18.09 €
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Calendario/Agenda Agenda
common.buy 11.19 €
Den Libanon lieben lernen Laura Ziegler / Libro In brossura
common.buy 7.69 €
Diamante Nero Victoria Quinn / Libro In brossura
common.buy 16.39 €
Die besten Aufstriche selbst gemacht Charly Till / Libro In brossura
common.buy 8.99 €
Textanfänge Ulrike Krieg-Holz / Libro In brossura
common.buy 49.09 €
Raketa Hravá kniha pro děti collegium / Libro In brossura
common.buy 13.39 €
Nach dem bewaffneten Kampf Angelika Holderberg / Libro In brossura
common.buy 9.99 €
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Libro In brossura
common.buy 14.19 €
Uzniki Razuma Tat'yana Volkova / Libro In brossura
common.buy 54.89 €

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

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 Jaco C. van de Pol, Michael Weber
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2010
Numero di pagine 263
EAN 9783642161636
ISBN 3642161634
Codice Libristo 01656755
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 421
Dimensioni 159 x 235 x 18

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
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 > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

Sword Song Sal Quartuccio / Libro In brossura
common.buy 20.29 €
Myofascial Induction (TM) Andrzej Pilat / Libro Rigido
common.buy 157.49 €
Down the Highway: The Life of Bob Dylan Howard Sounes / Libro In brossura
common.buy 18.09 €
The Shadow Lily Johanna Mo / Libro In brossura
common.buy 13.89 €
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Libro In brossura
common.buy 7.19 €
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Libro In brossura
common.buy 14.19 €
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Libro In brossura
common.buy 7.79 €
History of Wyoming; Volume 1 Ichabod S. Bartlett / Libro In brossura
common.buy 32.79 €
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Libro In brossura
common.buy 15.19 €
Shadowless Alison Robinson / Libro Rigido
common.buy 18.89 €
Harbor Knight Ralph A Garcia / Libro In brossura
common.buy 16.49 €
Best Is Always... Still Yet to Come! Keith Payne / Libro In brossura
common.buy 18.09 €
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Libro Rigido
common.buy 45.59 €
Tour to London Pierre Jean Grosley / Libro In brossura
common.buy 28.29 €
Boxer's Bible of Counterpunching Mark Hatmaker / Libro In brossura
common.buy 11.89 €

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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?