Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
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 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro FM 2015: Formal Methods Nikolaj Bj?rner
Codice Libristo: 09277583
Casa editrice Springer International Publishing AG, maggio 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Happy House 3rd Edition 1 Class Audio CDs Stella Maidment / Audio CD audio
common.buy 31.49 €
Schnelle thermische Prozessierung von Cu(In, Ga)Se2-Schichten Christian Merk / Libro In brossura
common.buy 51.99 €
JACK LONDON KOZA / Libro Rigido
common.buy 23.39 €
Die Ritter Vom Geiste, Volumes 1-2 Karl Gutzkow / Libro In brossura
common.buy 32.79 €
Programmierkurs TURBO-PASCAL Version 7.0 Henning Mittelbach / Libro In brossura
common.buy 54.19 €
Italie - 50 itinéraires de rêve collegium / Libro In brossura
common.buy 35.59 €
1972 Dr Gustav Keller / Libro In brossura
common.buy 8.09 €
Elf Freunde müßt ihr sein . . . Sammy Drechsel / Libro Rigido
common.buy 14.19 €
Die drei ??? und der schreiende Zug Andreas Ruch / Libro Rigido
common.buy 14.29 €
Aquí yace la amargura Cynthia Fleury / Libro elettronico Adobe ePub DRM
common.buy 6.79 €
Čti a hraj si s námi Ledové království / Libro Leporello
common.buy 18.99 €

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

Attrice & Poliglotta
EWA KASP per
Riproduci video
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 2015: Formal Methods
Autore Nikolaj Bj?rner, Frank de Boer
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2015
Numero di pagine 610
EAN 9783319192482
ISBN 3319192485
Codice Libristo 09277583
Casa editrice Springer International Publishing AG
Peso 9358
Dimensioni 155 x 235 x 235

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

KombiFiD - Combined Firm Data for Germany. Joachim Wagner / Libro In brossura
common.buy 60.99 €
Seven Deadly Sins of White Christian Nationalism Carter Heyward / Libro In brossura
common.buy 30.79 €
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts Oliver Schlaudt / Libro Rigido
common.buy 150.19 €
Mind Diet for Beginners: 85 Recipes and a 7-Day Kickstart Plan to Boost Your Brain Health Kelli McGrane / Libro In brossura
common.buy 14.99 €
Once Upon A Rhyme Julie Murrow / Libro In brossura
common.buy 5.99 €
Federal Civil Penalties Inflation Adjustment Act Catch-Up Adjustments (US Occupational Safety and Health Administration Regulation) (OSHA) (2018 Editi The Law Library / Libro In brossura
common.buy 19.99 €
Philosophy of Law Kant Immanuel Kant / Libro In brossura
common.buy 24.29 €
Falstaff: Give Me Lifevolume 1 Harold Bloom / Libro In brossura
common.buy 13.49 €
Thomas Merton and the Inclusive Imagination Ross Labrie / Libro Rigido
common.buy 55.19 €
The 22-Day Revolution Marco Borges / Libro Rigido
common.buy 26.29 €
To See My World In Rhythm And Rhyme Thomas Wayne Allen / Libro In brossura
common.buy 17.99 €
Technology in Retrospect Michael J. Berson / Libro In brossura
common.buy 64.09 €
Fallows Aaron Ross / Libro Rigido
common.buy 29.19 €
Pip and Posy: The Bedtime Frog Axel Scheffler / Libro Rigido
common.buy 12.09 €
Total Heart Health Robert Schneider / Libro In brossura
common.buy 15.79 €
Manners of Interpretation Miguel Tamen / Libro In brossura
common.buy 40.69 €
Hegel Reader Stephen Houlgate / Libro Rigido
common.buy 167.49 €
Writer's Roadmap Wendell Wellman / Libro In brossura
common.buy 14.99 €
Happily Ever After Annette Morris / Libro In brossura
common.buy 12.69 €
Silent Scream Sandra A Jones / Libro In brossura
common.buy 21.99 €
Little Joseph H Easley / Libro Rigido
common.buy 25.09 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?