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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Model Checking Software

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Model Checking Software Dragan Bosnacki
Codice Libristo: 01568802
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2007
This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Chec... Descrizione completa
? points 111 b
45.49 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Grundlinien der Philosophie D. Fr. Ast / Libro In brossura
common.buy 41.49 €
Ötanazi Okulu 1 Ciltli / Libro In brossura
common.buy 17.79 €
LES PEINTURES Beeckman / Libro In brossura
common.buy 8.99 €
Das Quiz für Besserwisser I ab 10 Jahren / Libro Rigido
common.buy 5.09 €
Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos / Libro In brossura
common.buy 31.09 €
LOS IRRELEVANTES ABRIL / Libro Rigido
common.buy 17.19 €
Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka / Libro In brossura
common.buy 32.69 €
Krevní banka Tanya Huffová / Libro In brossura
common.buy 7.39 €
Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer / Libro In brossura
common.buy 20.49 €
Eine malerische Reise nach den toten Städten der Zuyder See Henry Havard / Libro In brossura
common.buy 10.49 €
Berek Szczygielski Marcin / Libro Rigido
common.buy 8.19 €
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / Libro In brossura
common.buy 35.19 €
Premium Touren. Ein schöner Tag wandern Ulrike Poller / Libro In brossura
common.buy 14.59 €
Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek / Libro In brossura
common.buy 46.79 €
La psicología en la escuela Delval / Libro In brossura
common.buy 15.19 €
Sally y la maldición del rubí PULLMAN / Libro In brossura
common.buy 6.29 €
Economico
Raphael und Pinturicchio in Siena August Schmarsow / Libro In brossura
common.buy 1.49 €
Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet / Libro In brossura
common.buy 7.99 €
La historia de Ana Zeppelin: Tomo 1 Giselle Murillo / Libro In brossura
common.buy 7.39 €
I migliori
Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske / Libro In brossura
common.buy 11.89 €
Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux / Libro In brossura
common.buy 26.89 €
Senzibil Markéta Pilátová / Libro Rigido
common.buy 10.69 €
LA SABIDURíA DE LAS AVES TIM BIRKHEAD / Libro In brossura
common.buy 28.99 €

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

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 Dragan Bosnacki, Stefan Edelkamp
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2007
Numero di pagine 285
EAN 9783540733690
ISBN 3540733698
Codice Libristo 01568802
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 462
Dimensioni 155 x 235 x 17

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
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

Spelling and Dictation Class-Book Anonymous / Libro In brossura
common.buy 13.29 €
Christmas Day in the Morning Pearl S. Buck / Libro Rigido
common.buy 12.09 €
A Civil Contract Georgette Heyer / Libro In brossura
common.buy 12.09 €
First Man Simon Schwartz / Libro Rigido
common.buy 32.29 €
Islam in Turkey Frances Hawker / Libro In brossura
common.buy 6.69 €
What You Really Need to Know for the Second Half of Life: Protect Your Family! Julieanne E. Steinbacher / Libro In brossura
common.buy 10.29 €
Facebook Marketing Guide for Beginners Steven Murphy / Libro In brossura
common.buy 9.69 €
Drug And Disease Free Michael Broder / Libro In brossura
common.buy 7.99 €
Clinical Oral Pathology Nabil Kochaji / Libro Rigido
common.buy 88.59 €
Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / Libro Rigido
common.buy 66.09 €
Centroeuropa Vincente Luis Mora / Libro In brossura
common.buy 10.09 €
I migliori
Mercedes-Benz 190 Service And Repair Manual Haynes Publishing / Libro In brossura
common.buy 31.29 €
Around the World in 80 Days Jules Verne / Libro In brossura
common.buy 6.59 €
Handbook of Research on Microfinancial Impacts on Women Empowerment, Poverty, and Inequality Ramesh Chandra / Libro elettronico Adobe ePub DRM
common.buy 313.39 €
The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / Libro In brossura
common.buy 15.39 €
Jumbo the Elephant: The Life and Legacy of History's Most Famous Circus Animal Charles River Editors / Libro In brossura
common.buy 10.99 €
32 Decodeable Readers (1-16) Box 3 2003 / Libro In brossura
common.buy 209.09 €
LibreOffice 6.0 Writer Guide LibreOffice Documentation Team / Libro In brossura
common.buy 27.39 €
Durarara!!, Vol. 12 (light novel) Ryohgo Narita / Libro In brossura
common.buy 9.19 €
Kingfisher Dinosaur Encyclopedia Michael Benton / Libro In brossura
common.buy 11.89 €
Swahili for Foreigners Alice Wanjiku Mangat / Libro In brossura
common.buy 42.69 €
Preaching the Tradition Rex Mason / Libro In brossura
common.buy 40.99 €
Peer Instruction: Pearson New International Edition Eric Mazur / Libro In brossura
common.buy 68.39 €
MOD Richard Weight / Libro In brossura
common.buy 13.69 €

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