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 7.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 María del Mar Gallardo

Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

María del Mar Gallardo

Lingua

Inglese

Libro In brossura

Libro Model Checking Software María del Mar Gallardo

Codice Libristo: 19534895

Casa editrice Springer International Publishing AG, giugno 2018

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

Codice Libristo: 19534895

?

points

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

naanallada naanu s.g.shivashankar

/

In brossura

16.19 €

Biología: Selección y no selección Leandra Griffith -Jn Baptiste

/

In brossura

37.29 €

Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami

/

In brossura

46.59 €

Das Erbe Martin Wieland

/

In brossura

21.49 €

Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila

/

In brossura

15.39 €

Elaboración de vinos espumosos y cavas Madrid Vicente

/

In brossura

37.89 €

FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Libro

In brossura

26.89 €

Rüyalar ve Uyanislar Defteri Latife Tekin

/

In brossura

14.69 €

Anders, Korbonski, Sieniewicz... Ziętara Paweł

/

In brossura

9.19 €

Gesammelte Werke Ernst Von Wildenbruch

/

In brossura

60.59 €

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

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 María del Mar Gallardo, Pedro Merino

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2018

Numero di pagine 347

EAN 9783319941103

ISBN 3319941100

Codice Libristo 19534895

Casa editrice Springer International Publishing AG

Peso 557

Dimensioni 155 x 235 x 20

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati

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 > Modelli di simulazione per 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

Hymns, Psalms and Prayers Isaac Mayer Wise

/

In brossura

21.49 €

The Heart of Your Script Phil Hughes

/

In brossura

35.09 €

Ecocriticism and Italy Serenella Iovino

/

In brossura

60.59 €

Tiny the Vancouver Easter Bunny Eric James

/

Rigido

9.29 €

Bon Iver Bon

/

Libro

23.79 €

Egyptian Colloquial Arabic Verbs Matthew Aldrich

/

In brossura

26.59 €

Inventive Engineering Tomasz Arciszewski

/

Rigido

296.49 €

The True Story of the Three Billy Goats Gruff: The Troll's Side of the Story David Reynolds

/

In brossura

15.39 €

An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz

/

In brossura

46.59 €

Glencoe Accounting: First Year Course, School-To-Work Handbook McGraw-Hill/Glencoe

/

In brossura

18.09 €

Danger Music Eddie Ayres

/

In brossura

11.39 €

Avatar Coloring Book: Coloring Book for Kids and Adults with Fun, Easy, and Relaxing Coloring Pages Linda Johnson

/

In brossura

6.99 €

Radiant, Vol. 8, 8 Tony Valente

/

In brossura

8.89 €

Interpreting the New Testament Francis J. Moloney

/

In brossura

35.09 €

genealogical dictionary of the first settlers of New England, Volume 2 James Savage

/

Adobe ePub DRM

12.59 €

Catch a Falling Star Mason Stone

/

In brossura

11.19 €

Towards a Federal Europe Alexander H. Trechsel

/

In brossura

51.19 €

In preparazione

The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo

/

Rigido

212.99 €

Developmental-Behavioral Disorders Marvin I. Gottlieb

/

In brossura

53.79 €

Creating Textures in Pen & Ink with Watercolor Claudia Nice

/

In brossura

19.69 €

Introduction to Transport Policy - A Public Policy View Peter R. Stopher

/

Rigido

171.69 €

My Neighbor Jesus - In The Light Of His Own Language, People And Time George M. Lamsa

/

In brossura

35.99 €

Free Fall Robert Crais

/

In brossura

13.79 €

Electronic Banking Scn Education B. V.

/

In brossura

107.29 €