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 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro FM 2014: Formal Methods Cliff Jones

FM 2014: Formal Methods

19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Pekka Pihlajasaari

Lingua

Inglese

Libro In brossura

Libro FM 2014: Formal Methods Cliff Jones

Codice Libristo: 02581552

Casa editrice Springer International Publishing AG, marzo 2014

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods... Descrizione completa

Codice Libristo: 02581552

?

points

263 b

107.29 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

La Huerta y la Casa Grande de Pozuelo de Alarcón Montero Sánchez

/

In brossura

15.29 €

Pneumologie Margelidon

/

In brossura

21.89 €

FONCTIONS PERSONNALISEES EN PYTHON REY PATRICE

/

In brossura

23.79 €

Cahier d'algorithmique et de programmation 4e (2018) - Cahier élève SAUZEAU

/

In brossura

10.19 €

Decouverte Des Grandes Sources Du Centre de l'Afrique: Rivieres de Vie, Rivieres de Mort, Nana Lenfant-E

/

In brossura

26.09 €

Des Finances Publiques En France De Menainville-E

/

In brossura

14.19 €

Formen und Verfahren der Leistungsfeststellung in der Pflegeausbildung Nils Pohler

/

In brossura

41.99 €

Disney Die Eiskönigin - Völlig unverfroren Freundebuch

/

Rigido

9.19 €

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

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 FM 2014: Formal Methods

Autore Cliff Jones, Pekka Pihlajasaari, Jun Sun

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2014

Numero di pagine 750

EAN 9783319064093

ISBN 3319064096

Codice Libristo 02581552

Casa editrice Springer International Publishing AG

Peso 1157

Dimensioni 155 x 235 x 40

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Architettura dell’informazione

Informatica e Tecnologia dell’Informazione > Hardware informatico > Manutenzione e riparazione

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

Exterior Billiards Alexander Plakhov

/

Rigido

53.79 €

7+ English Cloze Test: Year 2 Moon Tuition

/

In brossura

9.69 €

Green Energy: Technologies and Systems DAVID MCCARTNEY

/

Rigido

125.89 €

Ethics in Planning Martin Wachs

/

Rigido

215.89 €

Aunty Felicia Returns: Aunty Felicia Series MR Philip Begho

/

In brossura

7.99 €

Cat and the Beautiful Mrs. Butterfly Lena Anderson

/

In brossura

19.99 €

Fresh Fruits: A 30 Day Devotional Jennifer Bushnell

/

In brossura

10.69 €

I Dare to Heal: With Compassionate Love Joel Vorensky

/

In brossura

1.09 €

Detroit's Historic Places of Worship Marla O. Collum

/

In brossura

46.59 €

BANDS OF MOURNING Brandon Sanderson

/

Rigido

23.29 €

Canada West Marco Polo Pocket Travel Guide - with pull out map Marco Polo

/

In brossura

14.49 €

All-Star Superman Grant Morrison

/

In brossura

8.89 €

England and South Africa. Edward J Gibbs

/

In brossura

20.29 €

Mob Justice Anju Khosla

/

Rigido

60.59 €

Ethics of Captivity Lori Gruen

/

Rigido

162.99 €

In preparazione

Other Jerome K Jerome Martin Green

/

In brossura

16.89 €

First Ladies of Rome Annelise Freisenbruch

/

In brossura

22.49 €

Spooks the Unofficial History of MI5 From the First Atom Spy to 7/7 1945-2009 Thomas Hennessey

/

In brossura

21.89 €

Handbook of Western Palearctic Birds Hadoram Shirihai

/

Rigido

154.99 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?