Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Industrial Use of Formal Methods

Formal Verification

Limba englezăengleză
Carte Copertă tare
Carte Industrial Use of Formal Methods Jean-Louis Boulanger
Codul Libristo: 01434090
Editura ISTE Ltd and John Wiley & Sons Inc, iunie 2012
At present the literature gives students and researchers of the very general books on the formal tec... Descrierea completă
? points 392 b
852.52 lei
În depozitul extern Expediem în 14-20 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Das Steuerrecht der Personengesellschaft im Vergleich Patricia Katla / Carte Carte broșată
common.buy 223.14 lei
HARRY POTTER ET LES RELIQUES DE LA MORT - EDITION SERPENTARD Joanne K. Rowling / Carte Copertă tare
common.buy 212.91 lei
Teen Titans Go! núm. 06 Fisch / Carte Carte broșată
common.buy 22.31 lei
Medicina interna de pequeños animales 6ª ed RICHARD W. NELSON / Carte Copertă tare
common.buy 1 454.46 lei
Frühmorgens, abends oder nachts Yasmina Reza / Carte Carte broșată
common.buy 50.59 lei
Dog Man: Fetch 22 Dav Pilkey / Carte Copertă tare
common.buy 65.61 lei
First Picture Dictionary - Animals (Danish English Bilingual Children's Book) KidKiddos Books / Carte Carte broșată
common.buy 91.27 lei
MICROFISICA SEXISTA DEL PODER NE BARJOLA RAMOS / Carte Carte
common.buy 154.28 lei
Conexiones FERNANDEZ FRAGA / Carte Carte broșată
common.buy 139.47 lei
La femme gelée Ernaux / Carte Carte broșată
common.buy 100.56 lei
ETRE ADO ET COMMUNIER (ANIMATEUR) Legagneux Carte Carte broșată
common.buy 76.67 lei
La Biblia de la astronomía: La guía definitiva del firmamento y del universo HEATHER COUPER / Carte Carte broșată
common.buy 111.62 lei
Fusuke Tezuka Osamu / Carte Carte broșată
common.buy 53.40 lei
Prešporskí pekári a ich špeciality Jana Májeková / Carte Copertă tare
common.buy 54.97 lei
Bildermaus - Der kleine Delfin auf Schatzsuche Dagmar Henze / Carte Copertă tare
common.buy 40.88 lei
'Der Garten glänzt vor lauter Licht' Rainer Maria Rilke / Carte Carte broșată
common.buy 41.09 lei
Achtung - Panzer! Heinz Guderian / Carte Carte broșată
common.buy 178.59 lei
Fotoalbum der Maschinenfabrik Esslingen: Die Elektrofahrzeuge Alexander Weber / Carte Copertă tare
common.buy 140.72 lei
Die Schule der magischen Tiere 5: Top oder Flop!, 2 Audio-CD Margit Auer / Audio Audio CD
common.buy 57.58 lei
Introduction A l'Ouvrage Des Revolutions Francaises Depuis 1789 Jusqu'a Nos Jours Deiche-J-B-P / Carte Carte broșată
common.buy 71.45 lei
4 Beyonc / Audio Audio CD
common.buy 92.94 lei
La Reciprocite Et l'Alternance Pierre-André Stucki / Carte Carte broșată
common.buy 415.41 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Industrial Use of Formal Methods
Autor Jean-Louis Boulanger
Limba engleză
Legare Carte - Copertă tare
Data publicării 2012
Număr pagini 314
EAN 9781848213630
ISBN 1848213638
Codul Libristo 01434090
Editura ISTE Ltd and John Wiley & Sons Inc
Greutatea 618
Dimensiuni 161 x 239 x 23

Categorii

Computing & Information Technology > Computer science > Computer modelling & simulation
Technology, Engineering, Agriculture > Industrial chemistry & manufacturing technologies
Technology, Engineering, Agriculture > Mechanical engineering & materials
Computing & Information Technology > Computer programming / software engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Walnut Tree Charles Hulbert-Powell / Carte Copertă tare
common.buy 186.62 lei
Natural Body in Somatics Dance Training Susan Leigh Foster / Carte Carte broșată
common.buy 246.09 lei
Top
Oxford Advanced Learner's Dictionary: Paperback (with 1 year's access to both premium online and app) Diana Lea / Carte Carte broșată
common.buy 242.23 lei
Oxford History of Protestant Dissenting Traditions, Volume I John Coffey / Carte Copertă tare
common.buy 1 225.89 lei
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Carte Cu spiră
common.buy 121.00 lei
Learn to Speak with the Animals: By Developing Your Intuitive Abilities Frances W Greenspan / Carte Carte broșată
common.buy 59.77 lei
Hashtag Elizabeth Losh / Carte Carte broșată
common.buy 68.01 lei
Computer Science With Python Language Made Simple Satish Singh Shashi Jain / Carte Carte broșată
common.buy 286.77 lei
Sparkly Fairies Sticker Book KIRSTEEN ROBSON / Carte Carte broșată
common.buy 42.97 lei
Top
Place Promised in Our Early Days MAKOTO SHINKAI / Carte Copertă tare
common.buy 102.54 lei
Mykonos Muse Lizy Manola / Carte Copertă tare
common.buy 647.21 lei
Tobermory and Other Stories Saki / Carte Carte broșată
common.buy 48.61 lei
The Lightning Bug Named Blue Melodye Faith Hathaway / Carte Carte broșată
common.buy 57.16 lei
Quest for Love: A Woman's Journey Toward Empowerment Ula Moleda / Carte Carte broșată
common.buy 81.88 lei
Evolution Jim Reilly / Carte Carte broșată
common.buy 61.96 lei
Al-Kashshaf Kifayat Ullah / Carte Copertă tare
common.buy 708.03 lei
Open Source Intelligence Investigation Babak Akhgar / Carte Copertă tare
common.buy 1 025.80 lei
From Trafficking to Terror MAHDAVI / Carte Copertă tare
common.buy 1 603.33 lei
Come to the Water Sharon Hurkens / Carte Carte broșată
common.buy 58.62 lei
Simply Tina Daryl Easlea / Carte Copertă tare
common.buy 148.13 lei
Turning Away Benjamin A. Saltzman / Carte Carte broșată
common.buy 179.43 lei
Science and Art of Elocution / Carte Carte broșată
common.buy 91.06 lei
National Identity and Millennials in Northeast Asia Vanessa Frangville / Carte Carte broșată
common.buy 355.84 lei
Bond 11+: Bond 11+ Non-verbal Reasoning Handbook Alison Primrose / Carte Carte broșată
common.buy 71.03 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo