Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

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

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro Model Checking Software Ezio Bartocci

Model Checking Software

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

C. R. Ramakrishnan

Lingua

Inglese

Libro In brossura

Libro Model Checking Software Ezio Bartocci

Codice Libristo: 01663942

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maggio 2013

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking... Descrizione completa

Codice Libristo: 01663942

?

points

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Ste. Roche Henriette Von Paalzow

/

In brossura

18.69 €

Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann

/

In brossura

55.29 €

Agora sou um professor digital, como ser um professor durante a pandemia.: Um dia estava dentro da sala de aula, outro dia estava dentro de uma plataf Odirlei Amaro Ferreira

/

In brossura

6.49 €

Hisskillen i Lissabon Cupido

/

MP3

3.29 €

Puzzle 3x48 Peppa Pig

/

Puzzle

6.79 €

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

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 Ezio Bartocci, C. R. Ramakrishnan

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2013

Numero di pagine 377

EAN 9783642391750

ISBN 3642391753

Codice Libristo 01663942

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 593

Dimensioni 155 x 235 x 22

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

Organometallic Oxidation Catalysis Franc Meyer

/

In brossura

214.29 €

Modern Syntheses of Cobalt (III) Complexes M. Shibata

/

In brossura

53.79 €

Monteverdi: Vespers (1610) John (University of Birmingham) Whenham

/

Rigido

97.99 €

Living the Beatles Legend Kenneth Womack

/

In brossura

14.69 €

Memorable Edinburgh Houses Wilmot Harrison

/

Rigido

31.79 €

Dingbat: Adventures in Trickle Valley Jennifer White

/

In brossura

9.79 €

Pieter Vermeersch: Variations Dieter Roelstraete

/

In brossura

40.59 €

52 Steps to Success Anthony Pan

/

In brossura

31.29 €

Medical Spanish: A Workbook: Study Module 1 Craig A Sinkinson M D

/

In brossura

32.19 €

Looking for Love with All the Wrong Husbands Tee Fuller

/

Rigido

40.39 €

Finding Hope Dan Rogers

/

In brossura

16.39 €

Media Strategies for Understanding Contemporary News in a Biased World Bradley K Smith

/

In brossura

15.09 €

New Knebworth Edition. Edward George Earle Lytton Baron Bulwer

/

In brossura

32.79 €

Cambridge English: First Masterclass: Teacher's Pack collegium

/

In brossura

33.69 €

Extreme-occident Jean-Philippe Mathy

/

Rigido

112.59 €

High Frequency Continuous Time Filters in Digital CMOS Processes Shanthi Pavan

/

In brossura

107.29 €

National Federation of Women Workers, 1906-1921 Cathy Hunt

/

Rigido

113.19 €

Greek Islands Korina Miller

/

In brossura

31.89 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?