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 Computer Aided Verification Isil Dillig

Computer Aided Verification

Lingua

Inglese

Libro In brossura

Libro Computer Aided Verification Isil Dillig

Codice Libristo: 24027841

Casa editrice Springer Nature Switzerland AG, luglio 2019

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Descrizione completa

Codice Libristo: 24027841

?

points

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska

/

Rigido

10.59 €

LP! JPEGMAFIA Audio

Vinile audio

51.69 €

Bleigewitter über Cinecitt? Christian Keßler

/

Rigido

31.89 €

Hory zpívají Phan Que Mai Nguyen

/

Rigido

16.09 €

KLIMATOLOGIE Émile H. Klouyo

/

In brossura

40.99 €

Besser hausgemacht mit dem Thermomix® Doris Muliar

/

In brossura

13.39 €

30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff

/

In brossura

11.39 €

Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo

/

In brossura

57.69 €

Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE

/

In brossura

25.49 €

TEKIS GOMEZ

/

Rigido

20.99 €

Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA

/

In brossura

16.29 €

Morče Nataša Velenská

/

In brossura

6.79 €

Weg Ins Heim Trendb Uro

/

In brossura

39.49 €

Christoph Columbus Jakob Wassermann

/

In brossura

18.79 €

Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips

/

In brossura

11.59 €

Secme Dünya Öyküleri Jorge Luis Borges

/

In brossura

16.79 €

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented toget

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 Computer Aided Verification

Autore Isil Dillig, Serdar Tasiran

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2019

Numero di pagine 673

EAN 9783030255398

ISBN 3030255395

Codice Libristo 24027841

Casa editrice Springer Nature Switzerland AG

Peso 1050

Dimensioni 155 x 235 x 38

Categorie

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

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale

Informatica e Tecnologia dell’Informazione > Comunicazione tra computer e reti

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

Information Security Sokratis Katsikas

/

In brossura

80.59 €

Katherine Mansfield: New Directions GASSTON AIMEE

/

Rigido

159.89 €

Marriage, Totemism and Religion: An Answer to Critics Lord Avebury

/

In brossura

32.79 €

MEE Questions Book 2 Celebration Bar Review LLC

/

In brossura

95.99 €

Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta

/

Rigido

53.79 €

Do You Dream of Terra-Two? Temi Oh

/

In brossura

14.29 €

Feasibility Study Majura Jackson G. Majura

/

In brossura

38.19 €

Soft Computing as Transdisciplinary Science and Technology Ajith Abraham

/

In brossura

214.29 €

Group FEIGEL LARA

/

In brossura

12.69 €

3 little sisters Radha Bamania

/

In brossura

10.69 €

Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE

/

In brossura

16.59 €

Works of Ophra Behn Montague Summers

/

Rigido

60.59 €

OLD AMERICAN SONGS II CHANT AARON COPLAND

/

Note

5.39 €

The Wager and Other Stories Greg Sushinsky

/

In brossura

7.89 €

Sex Differences in Intelligence Richard Lynn

/

In brossura

15.59 €

Privileged Brotherhoods Adam Howard

/

Rigido

66.29 €

My Life Scott Ludwig

/

In brossura

23.49 €

Wolfsmund Kuji Mitsuhisa

/

In brossura

11.19 €

Radiographic Atlas of Skeletal Development of the Hand and Wrist Greulich

/

Rigido

198.29 €

Cast of Shadows Ronnie Maasz

/

Rigido

110.89 €

Omaha Beach Adrian R. Lewis

/

In brossura

47.19 €

Adolescent and the Cartel H G Nowland

/

In brossura

13.49 €

BioShock: Rapture John Shirley

/

In brossura

17.39 €

The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets Hugh Holton

/

In brossura

15.79 €