[email protected]
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft Packeta 990 Ft GLS futár 1 590 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Industrial Use of Formal Methods

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Industrial Use of Formal Methods Jean-Louis Boulanger
Libristo kód: 01434090
Kiadó ISTE Ltd and John Wiley & Sons Inc, június 2012
At present the literature gives students and researchers of the very general books on the formal tec... Teljes leírás
? points 494 b
77 561 Ft
50 % esély Keressük az egész világon Mikor kapom meg a terméket?

30 nap a termék visszaküldésére

Ezt is ajánljuk

toplistás
1984 George Orwell / Puha kötésű
common.buy 3 878 Ft
toplistás
How to Draw Scott Robertson / Puha kötésű
common.buy 13 260 Ft
toplistás
The Innovator's Dilemma Clayton M. Christensen / Puha kötésű
common.buy 9 182 Ft
toplistás
Sketching People Lynne Chapman / Puha kötésű
common.buy 6 670 Ft
toplistás
Mykonos Muse Lizy Manola / Kemény kötésű
common.buy 48 515 Ft
toplistás
Functional Art, The Alberto Cairo / Kemény kötésű
common.buy 16 023 Ft
toplistás
Walnut Tree Charles Hulbert-Powell / Kemény kötésű
common.buy 13 526 Ft
Cyberpunk 2077: No Coincidence Rafal Kosik / Kemény kötésű
common.buy 8 599 Ft
Place Promised in Our Early Days MAKOTO SHINKAI / Kemény kötésű
common.buy 6 685 Ft
Cheri, My Destiny! / Puha kötésű
common.buy 4 505 Ft
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Spirálozott
common.buy 9 448 Ft
Silicon Quantum Integrated Circuits Erich Kasper / Kemény kötésű
common.buy 73 292 Ft
From Trafficking to Terror MAHDAVI / Kemény kötésű
common.buy 96 326 Ft
Come to the Water Sharon Hurkens / Puha kötésű
common.buy 4 505 Ft
Bad Kitty Goes to the Vet Nick Bruel / Kemény kötésű
common.buy 7 313 Ft
Kingdom Advancing Prayer Volume I Michael Scantlebury / Puha kötésű
common.buy 7 188 Ft

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

Információ a könyvről

Teljes megnevezés Industrial Use of Formal Methods
Szerző Jean-Louis Boulanger
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 2012
Oldalszám 314
EAN 9781848213630
ISBN 1848213638
Libristo kód 01434090
Kiadó ISTE Ltd and John Wiley & Sons Inc
Súly 618
Méretek 161 x 239 x 23

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Komputermodellálás és szimuláció
Technológia, mérnöki tudományok, mezőgazdaság > Ipari kémiai és gyártási technológiák
Technológia, mérnöki tudományok, mezőgazdaság > Mechanikai gépészet és anyagok
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása