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: Foundations and Applications

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods: Foundations and Applications Christiano Braga
Codice Libristo: 09155898
Casa editrice Springer International Publishing AG, gennaio 2015
This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Formal Methods, SB... Descrizione completa
? points 105 b
43.09 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

mei guo qi ye da xue de zu zhi xue xi / Libro In brossura
common.buy 66.99 €
What A Success-Scepter And Bell Recordings Allen Toussaint / Audio CD audio
common.buy 13.89 €
Tišine Meša Selimović / Libro In brossura
common.buy 12.29 €
BJ Alex 05 Mingwa / Libro In brossura
common.buy 15.09 €
Luz en la oscuridad Brittainy Cherry / Libro elettronico Adobe ePub DRM
common.buy 7.99 €
Radeau Antoine Choplin / Libro In brossura
common.buy 8.79 €
Finite Elemente Modelle der Maschinenelemente Klaus Schier / Libro Rigido
common.buy 54.19 €
Gastronomický a společenský průvodce světem II. Afrika a Asie Vlasta Gregorová / Pubblicazioni cartacee Mappa
common.buy 9.29 €
Waslene y la madrina del bosque Lauren Kratz Prushko / Audiolibro MP3
common.buy 6.29 €
Beteiligung von Kindern und Jugendlichen in der Jugendhilfe Manuel Benner / Libro In brossura
common.buy 44.79 €
El pensamiento de Bultmann Xabier Pikaza / Libro In brossura
common.buy 19.19 €
Snöfrid aus dem Wiesental - Die ganz und gar abenteuerliche Reise zu den Nebelinseln Andreas H. Schmachtl / Libro Rigido
common.buy 16.09 €
Les Grandes Et Petites Miseres de la Vie Le Caveau / Libro In brossura
common.buy 18.09 €
Philosophie des images enigmatiques, ou il est traite des enigmes, hieroglyphes MENESTRIER-C-F / Libro In brossura
common.buy 35.29 €
Ein paar Schritte an Ihrer Seite Jörg Zink / Libro Foglio
common.buy 4.79 €
Barfuß ins Glück, 1 Blu-ray Tara Timpone / Video Blu-ray
common.buy 14.29 €
Aulas virtuales: formulas y practicas VS G. PADILLA CAST / Libro Libro
common.buy 80.69 €
Nabucodonosor II, rey de Babilonia RUEDA MUÑOZ DE SAN PEDRO / Libro In brossura
common.buy 19.09 €
Le Pere Goriot Honore De Balzac / Libro In brossura
common.buy 11.49 €
Malbuch fur Erwachsene Coloringcraze / Libro In brossura
common.buy 19.39 €
Anna Karenina Tom 1 Lev Tolstoy / Libro In brossura
common.buy 20.09 €
CARTE DES VINS DE SAINT-EMILION BENOIT FRANCE Libro binding.
common.buy 20.49 €
333 Origami - Farbenfeuerwerk: Alcohol Ink / Libro In brossura
common.buy 10.79 €

This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, AL, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.

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: Foundations and Applications
Autore Christiano Braga, Narciso Martí-Oliet
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2015
Numero di pagine 179
EAN 9783319150741
ISBN 331915074X
Codice Libristo 09155898
Casa editrice Springer International Publishing AG
Peso 2993
Dimensioni 155 x 235 x 9

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Architettura dell’informazione
Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica
Informatica e Tecnologia dell’Informazione > Hardware informatico > Manutenzione e riparazione
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
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

Clinical Management of Bacterial Pneumonia Antoni Torres / Libro In brossura
common.buy 52.69 €
Investor Relations and ESG Reporting in a Regulatory Perspective Poul Lykkesfeldt / Libro Rigido
common.buy 88.09 €
Fox's Book of Martyrs John Foxe / Libro In brossura
common.buy 28.39 €
Emotions: Things We Go Through Terrance L Caldwell Sr / Libro In brossura
common.buy 13.59 €
Jews of Iran Houman M. Sarshar / Libro In brossura
common.buy 50.69 €
I migliori
Halo: Ghosts of Onyx Eric Nylund / Libro In brossura
common.buy 15.79 €
SEO for Business 2019: Step-by-Step Beginners Guide to Growth using Search Engine Optimization, Google Analytics, Adwords, and other Marketin Alexander Morgan / Libro In brossura
common.buy 20.09 €
Companion Animal Behaviour Problems Rachel A Casey / Libro In brossura
common.buy 59.59 €
Nanoscale Materials in Water Purification Sabu Thomas / Libro In brossura
common.buy 210.89 €
Oxford Reading Tree TreeTops inFact: Oxford Level 18: Revolutionary Robots Ben Hubbard / Libro In brossura
common.buy 15.79 €
George Ashby's Poems George Ashby / Libro In brossura
common.buy 15.99 €
Heaven's Art of War, Volume One: Go Archbishop Trevor Greene J C D / Libro In brossura
common.buy 12.59 €
Joggin' Your Noggin: Fun and Challenging Word Games for Seniors Mary Randolph MS / Libro In brossura
common.buy 12.59 €
Godspeed: A love story Dan Chabot / Libro In brossura
common.buy 15.39 €
Study Guide for Chemistry Theodore E. Brown / Libro In brossura
common.buy 159.09 €
American Pastor in Europe, Ed. by J. Cumming Joseph Cross / Libro Rigido
common.buy 40.69 €
History of the Wars of New-England with the Eastern Indians Nathaniel Adams / Libro Rigido
common.buy 32.79 €
Fat Funeral: The Scientific Approach to Long-Term Weight Loss Daniel S. Dell'uomo / Libro In brossura
common.buy 20.09 €
New Regional Politics of Development A Payne / Libro In brossura
common.buy 67.49 €
What's my name? CRISSY Tiina Walsh / Libro In brossura
common.buy 15.39 €
London Postcards David Gentleman / Pubblicazioni cartacee Carte
common.buy 20.59 €
Complex of Upper Palaeolithic Sites Near Moravany, Western Slovakia Archeobooks / Libro In brossura
common.buy 40.69 €
Cancer with Hope C. Michael Armstrong / Libro Rigido
common.buy 56.79 €
Accidents Of Youth / Libro In brossura
common.buy 18.69 €

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?