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

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods: Foundations and Applications Leila Ribeiro
Codice Libristo: 15195023
Casa editrice Springer International Publishing AG, novembre 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... 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

Objavujeme svet! RODINA neuvedený autor / Libro Leporello
common.buy 8.39 €
Antony Alexandre Dumas / Libro In brossura
common.buy 6.89 €
Eduard und Elisabeth bei den Megamikren: oder Die Reise in das Innere unseres Erdballs Giacomo Casanova / Libro In brossura
common.buy 22.30 €
Pettersson und Findus 1 & 2, 2 DVD Jule Hermann / Video DVD
common.buy 12.39 €
OS Saberes Necess Marcos Justiniano / Libro In brossura
common.buy 5.79 €
Le destin de l'Europe Ivan Krastev / Libro In brossura
common.buy 18.39 €
Der Brotdoc: Heimatbrote Julia Ruby Hildebrand / Libro Rigido
common.buy 27.19 €
LAS LIMITACIONES DE LOS PODERES EM CABEZA PEREIRO / Libro Libro
common.buy 16.39 €
Influencia del Señor Buda en Rabindranath Tagore / Libro In brossura
common.buy 49.31 €
Leber und Galle entgiften und stärken Angela Fetzner / Libro Rigido
common.buy 19.60 €
SPA-RIGBY PM COLECCION Rigby / Libro Rigido
common.buy 76.42 €
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Libro In brossura
common.buy 14.30 €
Noc dlouhých nožů Roman Cílek / Libro In brossura
common.buy 6.09 €
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Libro In brossura
common.buy 17.19 €
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Libro In brossura
common.buy 13.49 €
Paul Lincke Jan Kutscher / Libro Rigido
common.buy 40.69 €
Excel 2013 en profundidad María Pérez Marques / Libro In brossura
common.buy 38.69 €
Equidad y políticas públicas en educación y formación básicas : estudio de casos en América Latina, África Subsahariana y Magreb VELEZ DE MEDRANO / Libro In brossura
common.buy 22.19 €
6 Lieder ohne Worte Felix Mendelssohn Bartholdy / Pubblicazioni cartacee Note
common.buy 8.39 €
Der Qualit tswettbewerb Im Marktwirtschaftlichen System Friedrich Karl Flick / Libro In brossura
common.buy 55.29 €

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

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 Leila Ribeiro, Thierry Lecomte
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2016
Numero di pagine 253
EAN 9783319498140
ISBN 3319498142
Codice Libristo 15195023
Casa editrice Springer International Publishing AG
Peso 4044
Dimensioni 155 x 235 x 16

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Architettura dell’informazione
Informatica e Tecnologia dell’Informazione > Applicazioni grafiche e multimediali > Grafica e modellazione 3D
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

I migliori
Oxford Bookworms Library: Level 4:: Little Women Louisa May Alcott / Libro In brossura
common.buy 9.99 €
Fix It! Carly Gledhill / Libro Leporello
common.buy 10.79 €
Managing 3rd Party Risk: A Comprehensive Guide to Managing the Risk of Your Vendors, Customers, Partners or Employees Dominic Suszek / Libro In brossura
common.buy 43.41 €
Ostentation Pamelia Barratt / Libro In brossura
common.buy 14.59 €
Jute, Jam & Jessie Jordan ANDREW DAVID DOYLE / Libro In brossura
common.buy 11.89 €
German Steamship Pellworm and Other Ships - High Court of Justice Lord Sterndale / Libro In brossura
common.buy 17.90 €
Service Design Lavrans Lovlie / Libro In brossura
common.buy 58.49 €
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Libro In brossura
common.buy 34.69 €
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Libro Rigido
common.buy 34.20 €
THE RAINBOW FEATHER FERGUS HUME / Libro Rigido
common.buy 31.50 €
Urfspace Chuck Whelon / Libro In brossura
common.buy 24.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?