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 €
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 phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods and Software Engineering Michael Butler
Codice Libristo: 09535572
Casa editrice Springer International Publishing AG, novembre 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA / Libro In brossura
common.buy 39.19 €
Max von Schenkendorf E. Heinrich / Libro In brossura
common.buy 32.69 €
Histoire Du Plebiscite: Le Plebiscite Dans L'Antiquite (1887) Charles Borgeaud / Libro In brossura
common.buy 27.89 €
Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček / Libro Rigido
common.buy 12.49 €
Peche a la lune (La) DUBOIS / Libro In brossura
common.buy 9.19 €
LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE / Libro Libro
common.buy 16.39 €
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski / Libro In brossura
common.buy 23.49 €
Jak přemýšlí náš teenager? Tanith Careyová / Libro In brossura
common.buy 18.69 €
Ich und du 5 podręcznik +CD /2012 Marta Kozubska Libro In brossura
common.buy 9.09 €
Appuntamento a Positano Goliarda Sapienza / Libro In brossura
common.buy 15.69 €
Don Chisciotte in Sicilia Roberto Mandracchia / Libro In brossura
common.buy 18.99 €
Biotechs A Schneider / Libro In brossura
common.buy 13.29 €
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / Libro In brossura
common.buy 29.09 €
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / Libro In brossura
common.buy 14.99 €
Les Femmes Du Nouveau Monde (Nouv. Ed.) Eyma-X / Libro In brossura
common.buy 24.79 €
Hunger auf Leben Brigitte Reimann / Libro In brossura
common.buy 7.69 €
De ejercicios con sor Isabél de Meester / Libro In brossura
common.buy 12.49 €
La Peor Seqora del Mundo Francisco Hinojosa / Libro In brossura
common.buy 6.09 €
Cacographie Rangee Dans Un Nouvel Ordre, Ou Exercices Sur l'Orthographe Lequien-E-A / Libro In brossura
common.buy 18.79 €
Herzvibrieren Josie Kju / Libro In brossura
common.buy 12.39 €
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / Libro In brossura
common.buy 32.69 €
Speculum Saxonum Ius municipale / Libro Rigido
common.buy 6.39 €
Auf dass wir klug werden Anja Zimmer / Libro In brossura
common.buy 16.99 €
Adolf Hitler Volker Ullrich / Libro Rigido
common.buy 28.99 €

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.

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 Formal Methods and Software Engineering
Autore Michael Butler, Sylvain Conchon, Fatiha Za?di
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2015
Numero di pagine 436
EAN 9783319254227
ISBN 3319254227
Codice Libristo 09535572
Casa editrice Springer International Publishing AG
Peso 6964
Dimensioni 155 x 235 x 236

Categorie

Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
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 > Teoria matematica della computazione
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

Evolution Driven by Organismal Behavior Rui Diogo / Libro Rigido
common.buy 35.89 €
Neurobrucellosis Mehmet Turgut / Libro Rigido
common.buy 105.09 €
Pearson REVISE 11+ English Practice Book 1 Helen Thomson / Libro In brossura
common.buy 14.89 €
American Game Fishes; Their Habits, Habitat and Peculiarities; George O. ]. 1846- [From Old C [Shields / Libro Rigido
common.buy 42.59 €
Tecumseh's Last Stand John Peter Sugden / Libro In brossura
common.buy 25.09 €
Asi Se Dice! Level 1a, Student Edition McGraw-Hill Education / Libro Rigido
common.buy 132.49 €
A California Explorer: Five years contributions to California Explorer Magazine Meade Fischer / Libro In brossura
common.buy 11.19 €
Questions and Answers on Bills, Notes, and Checks. E Richard Shipp / Libro In brossura
common.buy 15.59 €
The McGregor Chronicles: Book 2 - Escape from Eden Larry K Collins / Libro In brossura
common.buy 13.49 €
Top Fermented Vegetable Recipes: A Step-by-Step Guide for Kimchi, Krauts, and Ot Lisa Young / Libro In brossura
common.buy 7.99 €
Music Theory for Singers Level One SANDVIG / Libro In brossura
common.buy 27.29 €
Multi-GHz Frequency Synthesis & Division Hamid R. Rategh / Libro In brossura
common.buy 113.19 €
Rise of the Necrofauna Britt Wray / Libro In brossura
common.buy 16.29 €
The Kama Sutra Vatsyayana / Libro In brossura
common.buy 15.39 €
Ritual Baths Deborah Hanekamp / Libro Rigido
common.buy 24.29 €
The Swedish Revolution Under Gustavus Vasa (1889) Paul Barron Watson / Libro In brossura
common.buy 32.79 €
Gwendoline's Harvest: A Novel... James Payn / Libro In brossura
common.buy 25.69 €
Two Towers John Ronald Reuel Tolkien / Libro In brossura
common.buy 12.09 €
Obturating Materials for Decidouos Dentition Deepti Jawa / Libro In brossura
common.buy 40.99 €
My Family Puzzle - Country Life Olivia Gibbs / Gioco/giocattolo Gioco
common.buy 15.89 €
Blood Brothers Beyond Rob J Hayes / Libro Rigido
common.buy 22.99 €
Voice Biomarkers Shinichi Tokuno / Libro Rigido
common.buy 136.49 €
The Heroic Legend of Arslan 22 Hiromu Arakawa / Libro In brossura
common.buy 9.59 €
Thermo-Hydraulics of Nuclear Reactors Christopher Earls Brennen / Libro Rigido
common.buy 75.39 €

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?