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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

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 103 b
41.89 €
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 46.79 €
I migliori
Petrolejové lampy Jaroslav Havlíček / Libro In brossura
common.buy 4.79 €
Kartenspiel: Kommt gut - Das Kartenspiel für mehr Oohs und Aahs Jüne Plã / Gioco/giocattolo Gioco
common.buy 18.69 €
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 €
guerre de 1870, memoires. 8e edition Helmuth von Moltke / Libro In brossura
common.buy 28.19 €
Datenvisualisierung boolescher Anfragen Dianqiang Yang / Libro In brossura
common.buy 41.59 €
Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková / Libro In brossura
common.buy 14.19 €
Sindicatos, trade-unions y corporaciones Georges Renard / Libro In brossura
common.buy 27.19 €
Der Vertrag von Lissabon Waldemar Hummer / Libro In brossura
common.buy 89.39 €
Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner / Libro In brossura
common.buy 89.19 €
Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer / Libro In brossura
common.buy 106.89 €

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 22.09 €
BERSERK OF GLUTTONY V10 V10 / Libro In brossura
common.buy 10.99 €
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 42.69 €
Economico
Salmon Mark Kurlansky / Libro Rigido
common.buy 14.69 €
Pollyanna Eleanor H Porter / Libro In brossura
common.buy 8.39 €
Social Communication in Advertising Leiss / Libro In brossura
common.buy 73.39 €
An Oration Delivered Before the Literary Association, on Monday, the Fourth of July, 1836. William B Maclay / Libro In brossura
common.buy 9.59 €
Fractions, Decimals and Percentages Book 4 (Year 4, Ages 8-9) Schofield & Sims / Libro In brossura
common.buy 5.79 €
Essential Nursing Care for Children and Young People Chris Thurston / Libro Rigido
common.buy 233.09 €
What You Think ADD/ADHD Is, It Isn't Barbara C. Fisher / Libro Rigido
common.buy 75.19 €
Freshwater Fishing Tips and Techniques Gene Kugach / Libro In brossura
common.buy 13.99 €
Aesthetics and the Theory of Criticism Arnold Isenberg / Libro In brossura
common.buy 37.69 €
Contact with Chaos Michael Z Williamson / Libro Rigido
common.buy 19.69 €
Journeying Wave Richmal Crompton / Libro Rigido
common.buy 19.19 €
Piano Exam Pieces 2015 & 2016, Grade 5 / Libro Rigido
common.buy 15.29 €
Ballad And The Source Rosamond Lehmann / Libro In brossura
common.buy 26.59 €
People's Platform Astra Taylor / Libro In brossura
common.buy 13.09 €
Planning After Petroleum Jago Dodson / Libro Rigido
common.buy 181.09 €
Dark Ages and the Age of Gold Russell A. Fraser / Libro Rigido
common.buy 183.69 €
American History: A Very Short Introduction Paul S Boyer / Libro In brossura
common.buy 8.89 €
Interfacing PIC Microcontrollers Martin Bates / Libro In brossura
common.buy 39.29 €
Intercultural Issues in Online Communication Verena Wiedmaier / Libro In brossura
common.buy 45.09 €
Event of Death: a Phenomenological Enquiry I. Leman-Stefanovic / Libro In brossura
common.buy 136.09 €
Logic for Concurrency and Synchronisation R.J. De Queiroz / Libro In brossura
common.buy 90.79 €

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?