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

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 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Grundlinien der Philosophie D. Fr. Ast / Libro In brossura
common.buy 51.99 €
Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka / Libro In brossura
common.buy 37.29 €
Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet / Libro In brossura
common.buy 10.49 €
Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos / Libro In brossura
common.buy 37.29 €
LES PEINTURES Beeckman / Libro In brossura
common.buy 11.79 €
I migliori
Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske / Libro In brossura
common.buy 14.69 €
Ötanazi Okulu 1 Ciltli / Libro In brossura
common.buy 20.99 €
I migliori
Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer / Libro In brossura
common.buy 24.09 €
Pasta Masterclass Wiebke Krabbe / Libro Rigido
common.buy 26.49 €
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / Libro In brossura
common.buy 41.29 €
Krevní banka Tanya Huffová / Libro In brossura
common.buy 8.59 €
Das Quiz für Besserwisser I ab 10 Jahren / Libro Rigido
common.buy 7.29 €
LA SABIDURíA DE LAS AVES TIM BIRKHEAD / Libro In brossura
common.buy 32.49 €
Senzibil Markéta Pilátová / Libro Rigido
common.buy 12.49 €
Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux / Libro In brossura
common.buy 26.89 €
Religiöses Leben und philosophische Selbstbestimmung Simone Fazzi / Libro In brossura
common.buy 16.79 €
Premium Touren. Ein schöner Tag wandern Ulrike Poller / Libro In brossura
common.buy 18.49 €
La historia de Ana Zeppelin: Tomo 1 Giselle Murillo / Libro In brossura
common.buy 9.19 €
Economico
Raphael und Pinturicchio in Siena August Schmarsow / Libro In brossura
common.buy 1.49 €
Sally y la maldición del rubí PULLMAN / Libro In brossura
common.buy 7.89 €
La psicología en la escuela Delval / Libro In brossura
common.buy 18.09 €
Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek / Libro In brossura
common.buy 55.29 €

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

The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / Libro In brossura
common.buy 15.39 €
Space Warfare in the 21st Century Joan Johnson-Freese / Libro In brossura
common.buy 60.49 €
First Man Simon Schwartz / Libro Rigido
common.buy 35.99 €
Islam in Turkey Frances Hawker / Libro In brossura
common.buy 8.79 €
What You Really Need to Know for the Second Half of Life: Protect Your Family! Julieanne E. Steinbacher / Libro In brossura
common.buy 13.49 €
Facebook Marketing Guide for Beginners Steven Murphy / Libro In brossura
common.buy 12.69 €
Drug And Disease Free Michael Broder / Libro In brossura
common.buy 10.39 €
Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / Libro Rigido
common.buy 79.59 €
Around the World in 80 Days Jules Verne / Libro In brossura
common.buy 8.19 €
I migliori
Mercedes-Benz 190 Service And Repair Manual Haynes Publishing / Libro In brossura
common.buy 37.59 €
Jumbo the Elephant: The Life and Legacy of History's Most Famous Circus Animal Charles River Editors / Libro In brossura
common.buy 10.99 €
LibreOffice 6.0 Writer Guide LibreOffice Documentation Team / Libro In brossura
common.buy 33.29 €
Durarara!!, Vol. 12 (light novel) Ryohgo Narita / Libro In brossura
common.buy 14.79 €
Handbook of Research on Microfinancial Impacts on Women Empowerment, Poverty, and Inequality Ramesh Chandra / Libro elettronico Adobe ePub DRM
common.buy 380.69 €
Centroeuropa Vincente Luis Mora / Libro In brossura
common.buy 12.49 €
Clinical Oral Pathology Nabil Kochaji / Libro Rigido
common.buy 105.09 €
Butch Heterosexuality in Black Caribbean Womanhood Marsha Myrie Obi / Libro Rigido
common.buy 79.79 €
Deregulation of Network Industries Sam Peltzman / Libro In brossura
common.buy 34.19 €
Little Men Louisa May Alcott / Libro In brossura
common.buy 11.39 €
Braided Rivers: Process, Deposits, Ecology, Management Jim Best / Libro In brossura
common.buy 196.19 €
Swahili for Foreigners Alice Wanjiku Mangat / Libro In brossura
common.buy 52.39 €
Preaching the Tradition Rex Mason / Libro In brossura
common.buy 49.79 €
Contact! Bob Tuxford / Libro Rigido
common.buy 31.89 €
MOD Richard Weight / Libro In brossura
common.buy 16.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