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

Industrial Use of Formal Methods

Formal Verification

Lingua IngleseInglese
Libro Rigido
Libro Industrial Use of Formal Methods Jean-Louis Boulanger
Codice Libristo: 01434090
Casa editrice ISTE Ltd and John Wiley & Sons Inc, giugno 2012
At present the literature gives students and researchers of the very general books on the formal tec... Descrizione completa
? points 327 b
133.69 €
Magazzino esterno Inviamo tra 14-20 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Das Steuerrecht der Personengesellschaft im Vergleich Patricia Katla / Libro In brossura
common.buy 34.99 €
HARRY POTTER ET LES RELIQUES DE LA MORT - EDITION SERPENTARD Joanne K. Rowling / Libro Rigido
common.buy 33.09 €
Teen Titans Go! núm. 06 Fisch / Libro In brossura
common.buy 3.69 €
Medicina interna de pequeños animales 6ª ed RICHARD W. NELSON / Libro Rigido
common.buy 237.99 €
Frühmorgens, abends oder nachts Yasmina Reza / Libro In brossura
common.buy 7.89 €
Dog Man: Fetch 22 Dav Pilkey / Libro Rigido
common.buy 10.09 €
First Picture Dictionary - Animals (Danish English Bilingual Children's Book) KidKiddos Books / Libro In brossura
common.buy 13.99 €
MICROFISICA SEXISTA DEL PODER NE BARJOLA RAMOS / Libro Libro
common.buy 24.69 €
Conexiones FERNANDEZ FRAGA / Libro In brossura
common.buy 22.39 €
La femme gelée Ernaux / Libro In brossura
common.buy 15.59 €
ETRE ADO ET COMMUNIER (ANIMATEUR) Legagneux Libro In brossura
common.buy 11.99 €
La Biblia de la astronomía: La guía definitiva del firmamento y del universo HEATHER COUPER / Libro In brossura
common.buy 17.29 €
Fusuke Tezuka Osamu / Libro In brossura
common.buy 8.09 €
Prešporskí pekári a ich špeciality Jana Májeková / Libro Rigido
common.buy 9.19 €
Bildermaus - Der kleine Delfin auf Schatzsuche Dagmar Henze / Libro Rigido
common.buy 6.39 €
'Der Garten glänzt vor lauter Licht' Rainer Maria Rilke / Libro In brossura
common.buy 6.39 €
Achtung - Panzer! Heinz Guderian / Libro In brossura
common.buy 27.69 €
Fotoalbum der Maschinenfabrik Esslingen: Die Elektrofahrzeuge Alexander Weber / Libro Rigido
common.buy 21.79 €
Die Schule der magischen Tiere 5: Top oder Flop!, 2 Audio-CD Margit Auer / Audio CD audio
common.buy 8.89 €
Introduction A l'Ouvrage Des Revolutions Francaises Depuis 1789 Jusqu'a Nos Jours Deiche-J-B-P / Libro In brossura
common.buy 11.99 €
4 Beyonc / Audio CD audio
common.buy 14.99 €
La Reciprocite Et l'Alternance Pierre-André Stucki / Libro In brossura
common.buy 66.39 €

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain.§This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based.§The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).

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 Industrial Use of Formal Methods
Autore Jean-Louis Boulanger
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 2012
Numero di pagine 314
EAN 9781848213630
ISBN 1848213638
Codice Libristo 01434090
Casa editrice ISTE Ltd and John Wiley & Sons Inc
Peso 618
Dimensioni 161 x 239 x 23

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Modelli di simulazione per computer
Tecnologia, Ingegneria, Agricoltura, processi industriali > Chimica industriale e tecnologie manifatturiere
Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria meccanica e dei materiali
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software
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

Walnut Tree Charles Hulbert-Powell / Libro Rigido
common.buy 29.29 €
Natural Body in Somatics Dance Training Susan Leigh Foster / Libro In brossura
common.buy 41.69 €
I migliori
Oxford Advanced Learner's Dictionary: Paperback (with 1 year's access to both premium online and app) Diana Lea / Libro In brossura
common.buy 45.59 €
Oxford History of Protestant Dissenting Traditions, Volume I John Coffey / Libro Rigido
common.buy 193.09 €
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Libro Ad anelli
common.buy 17.39 €
Learn to Speak with the Animals: By Developing Your Intuitive Abilities Frances W Greenspan / Libro In brossura
common.buy 11.19 €
Hashtag Elizabeth Losh / Libro In brossura
common.buy 10.69 €
Computer Science With Python Language Made Simple Satish Singh Shashi Jain / Libro In brossura
common.buy 45.89 €
Sparkly Fairies Sticker Book KIRSTEEN ROBSON / Libro In brossura
common.buy 6.59 €
Place Promised in Our Early Days MAKOTO SHINKAI / Libro Rigido
common.buy 16.09 €
Mykonos Muse Lizy Manola / Libro Rigido
common.buy 100.59 €
Tobermory and Other Stories Saki / Libro In brossura
common.buy 7.39 €
The Lightning Bug Named Blue Melodye Faith Hathaway / Libro In brossura
common.buy 8.69 €
Quest for Love: A Woman's Journey Toward Empowerment Ula Moleda / Libro In brossura
common.buy 12.39 €
Evolution Jim Reilly / Libro In brossura
common.buy 9.39 €
Al-Kashshaf Kifayat Ullah / Libro Rigido
common.buy 113.89 €
Open Source Intelligence Investigation Babak Akhgar / Libro Rigido
common.buy 163.19 €
From Trafficking to Terror MAHDAVI / Libro Rigido
common.buy 250.39 €
Come to the Water Sharon Hurkens / Libro In brossura
common.buy 9.29 €
Simply Tina Daryl Easlea / Libro Rigido
common.buy 22.59 €
Turning Away Benjamin A. Saltzman / Libro In brossura
common.buy 27.99 €
Science and Art of Elocution / Libro In brossura
common.buy 13.89 €
National Identity and Millennials in Northeast Asia Vanessa Frangville / Libro In brossura
common.buy 55.59 €
Bond 11+: Bond 11+ Non-verbal Reasoning Handbook Alison Primrose / Libro In brossura
common.buy 11.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