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 Integrated Formal Methods Nadia Polikarpova

Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Nadia Polikarpova

Steve Schneider

Lingua

Inglese

Libro In brossura

Libro Integrated Formal Methods Nadia Polikarpova

Codice Libristo: 16803868

Casa editrice Springer International Publishing AG, agosto 2017

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Fo... Descrizione completa

Codice Libristo: 16803868

?

points

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso

/

In brossura

37.99 €

La sagesse divine des animaux Stacey Demarco

/

Rigido

31.89 €

Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel

/

In brossura

20.99 €

Au Bord Du Lac (1852) Emile Souvestre

/

In brossura

30.79 €

Sancti Aurelii Augustini Hipponensis Episcopi ... Opera Omnia Post Lovaniensium Theologorum Recensionem Castigata: Denuo Ad Manuscriptes Codices Galli Saint Augustine of Hippo

/

In brossura

30.79 €

Arte poética de Horacio o Epístola a los Pisones: Tres traducciones al castellano y la versión latina Horacio

/

In brossura

28.49 €

Divertimento für Tenorsaxaphon und kleines Ensembl Carl/Enders Oesterhelt

/

CD audio

23.29 €

El silenci de les cases MARIA SANPLA

/

In brossura

14.79 €

Leonardo Martin Kemp

/

In brossura

14.59 €

Lecciones de Seguridad Social (I) : el sistema de Seguridad Social su régimen general y la protección social complementaria Francisco Javier Hernáez Manrique

/

In brossura

20.79 €

Lumieres Et Romantisme M. Castillo

/

In brossura

29.59 €

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

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 Integrated Formal Methods

Autore Nadia Polikarpova, Steve Schneider

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2017

Numero di pagine 438

EAN 9783319668444

ISBN 3319668447

Codice Libristo 16803868

Casa editrice Springer International Publishing AG

Peso 6905

Dimensioni 155 x 235 x 26

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

Informatica e Tecnologia dell’Informazione > Informatica: argomenti di interesse generale

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

Creatures of Old Prasad

/

MP3

4.19 €

The Black Doctor: And Other Tales of Terror and Mystery (1919) Arthur Conan Doyle

/

In brossura

31.79 €

Introduction to Nuclear Waste Immobilisation Michael Ojovan

/

In brossura

229.09 €

The Itsy Bitsy Spider Flowerpot Press

/

Leporello

8.99 €

Illustrated Guide to Chemistry JEFF GRANT

/

In brossura

21.09 €

Taking A Long Look Vivian Gornick

/

Rigido

21.89 €

The Case of The Stolen Case Carl Brookins

/

In brossura

14.39 €

Undying Destiny Jessica Lee

/

MP3

20.89 €

Capybara Zen Helen H. Wu

/

In brossura

7.29 €

Let Me Tell You A Story Rob Parsons

/

Rigido

18.79 €

Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes

/

Rigido

12.09 €

The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK

/

Carte

34.59 €

Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han

/

In brossura

14.99 €

Writing for Interaction Linda Newman Lior

/

In brossura

54.19 €

Parenting with Presence Susan Stiffelman

/

In brossura

14.29 €

Real-Life Distance Education Al P. Mizell

/

Rigido

130.09 €

Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert

/

In brossura

32.09 €

British Culture of the Post-War Alastair Davies

/

In brossura

63.69 €

Cloud Computing for Teaching and Learning Lee Chao

/

Rigido

201.79 €

Community Identity Sebastian Kim

/

In brossura

117.89 €

Euro Crash Brendan Brown

/

Rigido

113.19 €

In preparazione

Creating Belfast Don McCloy

/

In brossura

22.39 €

Wonder Island Boys Roger Thompson Finlay

/

In brossura

16.89 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?