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 Einar Broch Johnsen

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Einar Broch Johnsen

Lingua

Inglese

Libro In brossura

Libro Integrated Formal Methods Einar Broch Johnsen

Codice Libristo: 01663776

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

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

Codice Libristo: 01663776

?

points

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat

/

In brossura

43.79 €

In preparazione

Crimson Spell. Bd.5 Ayano Yamane

/

In brossura

9.59 €

Kunst Des 18. Jahrhunderts Edmond de Goncourt

/

In brossura

45.59 €

Dançando tango em Istambul Melis Merih Kiliç

/

In brossura

46.59 €

EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Libro

binding.

11.89 €

Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont

/

In brossura

31.99 €

Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann

/

Foglio

11.19 €

Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank

/

Rigido

113.69 €

Recht und Energie Peter Rosin

/

Rigido

223.19 €

Rivalen unter roter Sonne, 1 Blu-ray Terence Young

/

Blu-ray

14.29 €

La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre

/

In brossura

21.09 €

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

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 Einar Broch Johnsen, Luigia Petre

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2013

Numero di pagine 443

EAN 9783642386121

ISBN 3642386121

Codice Libristo 01663776

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

Peso 700

Dimensioni 155 x 235 x 26

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici

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

Safety of historical stone arch bridges Pieter Van Gelder

/

In brossura

105.09 €

Space groups (156) P3m1-(148) R-3 Pierre Villars

/

Rigido

589.59 €

Progressive Development Arie S. Issar

/

In brossura

107.29 €

Tocqueville Khaled Mattawa

/

In brossura

13.89 €

Psychology of Crime, Policing and Courts Andreas Kapardis

/

Rigido

253.39 €

Novels of Charles Lever V.1- The Confessions of Harry Lorrequer.., Volume 16 Charles Lever

/

Rigido

41.59 €

Stalin Edvard Radzinsky

/

In brossura

17.39 €

Blaze and Thunderbolt C. W. Anderson

/

In brossura

8.89 €

Inside Gitmo Gordon Cucullu

/

In brossura

22.09 €

Meetings with Remarkable Women Lenore Friedman

/

In brossura

30.39 €

Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text Elaine M. Weber

/

In brossura

18.89 €

Free Thoughts on Despotic and Free Governments Joseph Townsend

/

Rigido

35.79 €

Racism, Culture, Markets John Gabriel

/

Rigido

289.29 €

Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life Angee Barcus

/

In brossura

13.49 €

Exponential Families of Stochastic Processes Uwe Küchler

/

Rigido

160.89 €

Mentalizing in Arts Therapies Marianne Verfaille

/

Rigido

209.89 €

Learn Power BI Greg Deckler

/

In brossura

46.49 €

Awakening Power Sat Dharma

/

In brossura

16.49 €

Broadtube Music Mag - Volume 28: Music Mag 28 Olamide Ayodeji Kolade

/

In brossura

10.69 €

Dangerous Language ? Esperanto under Hitler and Stalin Humphrey Tonkin

/

In brossura

121.69 €

Global Business Strategy Cornelis A. de Kluyver

/

In brossura

30.39 €

Of Lands High and Low Martha Keyes

/

In brossura

13.59 €

Fly ash for water and wastewater treatment Md. Ahmaruzzaman

/

In brossura

40.99 €

Elegies. William Mason

/

In brossura

13.29 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?