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

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods: Foundations and Applications Adenilso Simao
Codice Libristo: 01659166
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp... Descrizione completa
? points 169 b
68.89 €
Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Die Polysaccharide Hans Pringsheim / Libro In brossura
common.buy 80.29 €
SUZUME OFFICIAL VISUAL GUIDE (ARTBOOK VO JAPONAIS) Makoto Shinkai / Libro In brossura
common.buy 36.69 €
2019 ELECCIO GOURMAND. GUIA DE RESTAURANTS I HOTELS DE CATA LLOVELL / Libro In brossura
common.buy 26.09 €
LA MALDICIóN DE JACINTA PICHIMAHUIDA PUENZO / Libro In brossura
common.buy 17.59 €
I migliori
Mágikus világok Johanna Basford / Libro In brossura
common.buy 12.69 €
Miasto gangow. Ukryte swiaty Rio de Janeiro Czeszumski / Audiolibro MP3
common.buy 7.39 €
Монстр продаж. Как чертовски хорошо продавать и богатеть И. Рызов / Libro In brossura
common.buy 20.99 €
El profesor de inglés Wang Gang / Libro In brossura
common.buy 23.19 €
Die pädagogische Relevanz von Rousseaus "Emil" Anonym / Libro In brossura
common.buy 16.89 €
Das Gehirn Marc Dingman / Libro Rigido
common.buy 17.79 €
LO QUE APRENDÍ HASTA LOS 30 JORGE LORENZO GUERRERO / Libro In brossura
common.buy 7.79 €
I migliori
Jak napsat dobrý scénář Syd Field / Libro Rigido
common.buy 11.89 €
Piensa, es gratis Joaquín Lorente Soler / Libro In brossura
common.buy 19.69 €
Evaluacion de la eficiencia del riego en sistema Enrollador en Amancio Gonzalez Perez Jorge Alfredo / Libro In brossura
common.buy 37.29 €
Pilates und Dehnung. Eine symbiotische Verbindung Stephanie Gebauer / Libro In brossura
common.buy 28.09 €
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Libro In brossura
common.buy 49.39 €
Bedeutung des Tai Chi Chuan fur die Gesundheitspravention Maria Theresia Bitterli / Libro In brossura
common.buy 15.09 €
Geometry and Differential Geometry Rafael Artzy / Libro In brossura
common.buy 48.39 €
Produktionseigenarten der chemischen Industrie, ihr Einfluß auf Kalkulation und Programmgestaltung. Bernhard Weblus / Libro In brossura
common.buy 39.19 €
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr Klaus Heinze / Libro Foglio
common.buy 13.59 €
Kameny a hvězdy Václav Cílek / Libro Rigido
common.buy 13.09 €

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 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 Adenilso Simao, Carroll Morgan
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2011
Numero di pagine 205
EAN 9783642250316
ISBN 3642250319
Codice Libristo 01659166
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 338
Dimensioni 155 x 235 x 15

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

Advanced Methods for Computational Collective Intelligence Geun-Sik Jo / Libro In brossura
common.buy 160.89 €
Mister Rainbow C. S. Boag / Libro In brossura
common.buy 33.69 €
Solar Eclipse Daniel Greene / Libro In brossura
common.buy 9.79 €
The Automobile Green Book Automobile Legal Association / Libro In brossura
common.buy 19.09 €
The Sleep Gas / Libro In brossura
common.buy 18.89 €
I Am Bunter: How to Manipulate Your Humans and Keep Them Firmly Under Your Paw Pippin Mole / Libro In brossura
common.buy 13.59 €
LEGO Star Wars Awesome Vehicles DK / Libro Rigido
common.buy 15.59 €
Valuing Films L. Hubner / Libro In brossura
common.buy 55.49 €
Pro Angular Adam Freeman / Libro elettronico Adobe ePub DRM
common.buy 75.99 €
Aesops Fables Jerry Pinkney / Libro Rigido
common.buy 17.19 €
Puzzle Ignacio Gonz Li N / Libro In brossura
common.buy 13.79 €
Anti-Disturbance Control for Systems with Multiple Disturbances Songyin Cao / Libro Rigido
common.buy 318.19 €
READ THE BIBLE SMARTER NOT HARDER CHRISTOPHER R SMITH / Libro In brossura
common.buy 21.99 €
National Uncanny Renee L. Bergland / Libro In brossura
common.buy 27.29 €
Launch Boys' Adventures in Northern Waters Edward Sylvester Ellis / Libro In brossura
common.buy 12.29 €
The World's Fastest Level Up (Manga) Vol. 1 Fame / Libro In brossura
common.buy 14.69 €
Rota Fortunae THIRTEEN O'CL PRESS / Libro In brossura
common.buy 15.19 €
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Libro Rigido
common.buy 334.89 €
Alice Hugo Vickers / Libro In brossura
common.buy 21.29 €
Biometric Recognition Wei Jia / Libro In brossura
common.buy 96.59 €
Accessible Assessment and Pedagogies Linda J. Graham / Libro In brossura
common.buy 63.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?