phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Industrial Use of Formal Methods

Język AngielskiAngielski
Książka Twarda
Książka Industrial Use of Formal Methods Jean-Louis Boulanger
Kod Libristo: 01434090
Wydawnictwo ISTE Ltd and John Wiley & Sons Inc, czerwiec 2012
At present the literature gives students and researchers of the very general books on the formal tec... Cały opis
? points 470 b
801.36 zł
50 % szansa Przeszukamy cały świat Kiedy dostanę książkę?
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
1984 George Orwell / Miękka
common.buy 39.50 zł
TOP
How to Draw Scott Robertson / Miękka
common.buy 144.04 zł
TOP
The Innovator's Dilemma Clayton M. Christensen / Miękka
common.buy 99.72 zł
TOP
Sketching People Lynne Chapman / Miękka
common.buy 72.41 zł
TOP
Mykonos Muse Lizy Manola / Twarda
common.buy 527.07 zł
TOP
Functional Art, The Alberto Cairo / Twarda
common.buy 174.05 zł
TOP
Walnut Tree Charles Hulbert-Powell / Twarda
common.buy 138.04 zł
Cyberpunk 2077: No Coincidence Rafal Kosik / Twarda
common.buy 67.51 zł
Place Promised in Our Early Days MAKOTO SHINKAI / Twarda
common.buy 72.62 zł
Cheri, My Destiny! / Miękka
common.buy 48.91 zł
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Pierścieniowa
common.buy 102.63 zł
Silicon Quantum Integrated Circuits Erich Kasper / Twarda
common.buy 796.26 zł
From Trafficking to Terror MAHDAVI / Twarda
common.buy 1 046.55 zł
Come to the Water Sharon Hurkens / Miękka
common.buy 48.91 zł
Bad Kitty Goes to the Vet Nick Bruel / Twarda
common.buy 74.52 zł
Kingdom Advancing Prayer Volume I Michael Scantlebury / Miękka
common.buy 78.12 zł

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

Informacje o książce

Pełna nazwa Industrial Use of Formal Methods
Autor Jean-Louis Boulanger
Język Angielski
Oprawa Książka - Twarda
Data wydania 2012
Liczba stron 314
EAN 9781848213630
ISBN 1848213638
Kod Libristo 01434090
Wydawnictwo ISTE Ltd and John Wiley & Sons Inc
Waga 618
Wymiary 161 x 239 x 23

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Modelowanie i symulacje komputerowe
Technika, inżynieria i rolnictwo, procesy przemysłowe > Chemia przemysłowa i inżynieria produkcji
Technika, inżynieria i rolnictwo, procesy przemysłowe > Inżynieria mechaniczna i materiałowa
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo