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

15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods: Foundations and Applications Rohit Gheyi
Codice Libristo: 01662107
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2012
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SB... Descrizione completa
? points 121 b
49.49 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Handbuch Der Ziehtechnik Walter Sellin / Libro In brossura
common.buy 55.29 €
Sindicatos, trade-unions y corporaciones Georges Renard / Libro In brossura
common.buy 33.29 €
Der Vertrag von Lissabon Waldemar Hummer / Libro In brossura
common.buy 110.09 €
Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner / Libro In brossura
common.buy 99.09 €
Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková / Libro In brossura
common.buy 16.49 €
Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer / Libro In brossura
common.buy 109.99 €
guerre de 1870, memoires. 8e edition Helmuth von Moltke / Libro In brossura
common.buy 34.29 €
A Química Da Memória: Por Que OS Humanos N?o Devem Comer Carne Carlos L. Partidas / Libro In brossura
common.buy 15.39 €
Kartenspiel: Kommt gut - Das Kartenspiel für mehr Oohs und Aahs Jüne Plã / Gioco/giocattolo Gioco
common.buy 22.99 €
Petrolejové lampy Jaroslav Havlíček / Libro In brossura
common.buy 5.09 €
Datenvisualisierung boolescher Anfragen Dianqiang Yang / Libro In brossura
common.buy 51.99 €

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

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 Rohit Gheyi, David Naumann
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2012
Numero di pagine 227
EAN 9783642332951
ISBN 3642332951
Codice Libristo 01662107
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 373
Dimensioni 155 x 235 x 14

Categorie

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

Hard Bop David H. Rosenthal / Libro In brossura
common.buy 21.29 €
BERSERK OF GLUTTONY V10 V10 / Libro In brossura
common.buy 13.59 €
The Holy Bible Translated From The Latin Vulgate ... The Old Testament First Published By The English College At Douay ... The New Testament At Rheims Anonymous / Libro Rigido
common.buy 52.39 €
Pollyanna Eleanor H Porter / Libro In brossura
common.buy 10.29 €
Social Communication in Advertising Leiss / Libro In brossura
common.buy 81.39 €
An Oration Delivered Before the Literary Association, on Monday, the Fourth of July, 1836. William B Maclay / Libro In brossura
common.buy 12.49 €
Fractions, Decimals and Percentages Book 4 (Year 4, Ages 8-9) Schofield & Sims / Libro In brossura
common.buy 6.89 €
Essential Nursing Care for Children and Young People Chris Thurston / Libro Rigido
common.buy 245.99 €
What You Think ADD/ADHD Is, It Isn't Barbara C. Fisher / Libro Rigido
common.buy 75.49 €
Freshwater Fishing Tips and Techniques Gene Kugach / Libro In brossura
common.buy 17.89 €
Aesthetics and the Theory of Criticism Arnold Isenberg / Libro In brossura
common.buy 44.69 €
Contact with Chaos Michael Z Williamson / Libro Rigido
common.buy 22.79 €
Journeying Wave Richmal Crompton / Libro Rigido
common.buy 25.09 €
Piano Exam Pieces 2015 & 2016, Grade 5 / Libro Rigido
common.buy 19.59 €
Intercultural Issues in Online Communication Verena Wiedmaier / Libro In brossura
common.buy 54.09 €
People's Platform Astra Taylor / Libro In brossura
common.buy 15.49 €
Logic for Concurrency and Synchronisation R.J. De Queiroz / Libro In brossura
common.buy 107.29 €
Planning After Petroleum Jago Dodson / Libro Rigido
common.buy 245.99 €
Event of Death: a Phenomenological Enquiry I. Leman-Stefanovic / Libro In brossura
common.buy 160.89 €
Italian Renaissance in the German Historical Imagination, 1860-1930 Dr. Martin A. Ruehl / Libro Rigido
common.buy 104.59 €
Dark Ages and the Age of Gold Russell A. Fraser / Libro Rigido
common.buy 167.19 €
American History: A Very Short Introduction Paul S Boyer / Libro In brossura
common.buy 11.19 €
Ballad And The Source Rosamond Lehmann / Libro In brossura
common.buy 32.49 €
Interfacing PIC Microcontrollers Martin Bates / Libro In brossura
common.buy 57.19 €

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?