Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Specification and Proof in Real Time CSP

Język AngielskiAngielski
Książka Miękka
Książka Specification and Proof in Real Time CSP Jim Davies
Kod Libristo: 02051359
Wydawnictwo Cambridge University Press, styczeń 2012
This book was first published in 1993. Computing systems are becoming highly complex, harder to unde... Cały opis
? points 172 b
Gwarancja
najlepszej
ceny ▸
304.86 zł
Dostępna u dostawcy Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

TOP
Edito B1 - 3ème édition - Livre + didierfle.app Marion Perrard / Książka Miękka
common.buy 92.72 zł
L'HÉRITAGE D'ÉPONINE CHAPÉ / Książka Miękka
common.buy 87.64 zł
Koupelna na jedničku Erika Kuhnová / Książka Twarda
common.buy 47.83 zł
Envejecimiento en la vida religiosa José Carlos Bermejo / Książka Miękka
common.buy 51.50 zł
Dulce pesadilla (Calder Academy 1) Tracy Wolff / Książka Miękka
common.buy 91.81 zł
30 x digitale Medien für 45 Minuten - Klasse 2-4 Nina Wilkening / Książka Miękka
common.buy 39.28 zł
Die Geschichte Jesu weitererzahlen Luis Antonio Gokim Tagle / E-book Adobe ePub DRM
common.buy 37.86 zł
EL MISTERIOSO SEÑOR BROWN Agatha Christie / Książka Miękka
common.buy 81.93 zł
Libérez votre cerveau ! (Résumé et analyse du livre de Idriss Aberkane) Gravis pierre / Książka Miękka
common.buy 57.71 zł
LEY DE PREVENCIÓN DE RIESGOS LABORALES EDITORIAL TECNOS / Książka Twarda
common.buy 69.62 zł
Zweckgesellschaften A Kaindl / Książka Miękka
common.buy 39.28 zł
Soignez l'accueil dans votre entreprise Catherine Cudicio / Książka Miękka
common.buy 94.86 zł
I Love My Mom Ik hou van mijn moeder Kidkiddos Books / Książka Miękka
common.buy 71.25 zł
Sex v kuchyni Libuše Palková / Książka Miękka
common.buy 30.22 zł
Notwendiges Gedenken - Schwieriges Gedenken Ann-Sophie Thiel / Książka Miękka
common.buy 214.67 zł

This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Specification and Proof in Real Time CSP
Autor Jim Davies
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 200
EAN 9781107403864
ISBN 1107403863
Kod Libristo 02051359
Wydawnictwo Cambridge University Press
Waga 330
Wymiary 170 x 244 x 11

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne > Przetwarzanie równoległe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Bazy danych > Pozyskiwanie i analiza danych
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
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

Mogłoby Cię także zainteresować

Agile Project Management: Quick-Start Guide for Beginners and How to Implement Agile Step-By-Step Harry Altman / Książka Miękka
common.buy 61.47 zł
At The Border Anna C Bradford / Książka Miękka
common.buy 61.68 zł
Drought Management and Desertification Control R. P. Dhir / Książka Twarda
common.buy 302.22 zł
Jewish Religious Life after the Exile T K Cheyne / Książka Miękka
common.buy 88.45 zł
TOP
Grimgar of Fantasy and Ash: Light Novel Vol. 4 Ao Jyumonji / Książka Miękka
common.buy 48.85 zł
Punts Sarah Page / Książka Miękka
common.buy 75.11 zł
TOP
The Complete Book of Demonolatry S Connolly / Książka Miękka
common.buy 141.28 zł
Haunted Lubbock: True Ghost Stories From The Hub Of The Plains Darrell Maloney / Książka Miękka
common.buy 44.27 zł
Beethoven - "Pastoral" Piano Sonata No. 15 in D major Ludwig van Beethoven / Książka Miękka
common.buy 59.85 zł
Try Me On M L Joslyn / Książka Miękka
common.buy 44.27 zł
Devil-Worship in France or The Question of Lucifer Arthur Edward Waite / Książka Twarda
common.buy 164.69 zł
British Rule in the Sudan Sidney Peel / Książka Miękka
common.buy 32.87 zł
Old Man Rob Osborne / Książka Miękka
common.buy 40.30 zł
American Railroads: The Case for Nationalization / Książka Miękka
common.buy 43.66 zł
What Would Jesus REALLY Eat? Wes Jamison / Książka Miękka
common.buy 75.01 zł
Trade Unions and the Labour Party since 1945 Martin Harrison / Książka Miękka
common.buy 256.41 zł
Decoding Digital Somdutta Singh / Książka Miękka
common.buy 148.30 zł
Mother Grains Roxana Jullapat / Książka Twarda
common.buy 131.10 zł
TOP
Jolly Phonics Pupil Book 1 SUE LLOYD / Książka Miękka
common.buy 27.17 zł
Zapowiedź
Hilma af Klint & Piet Mondrian: Forms of Life (Hardback) /anglais MORRIS FRANCES/FER B / Książka Twarda
common.buy 181.08 zł
2024 FIFA Predictions Mike Bhangu / Książka Miękka
common.buy 44.78 zł
Wondrous Animals: Color a Kingdom of Creatures Rosanes / Książka Miękka
common.buy 60.25 zł
Springer Handbook of Chem- and Bioinformatics Jerzy Leszczynski / Książka Twarda
common.buy 1 937.04 zł
Music Box Meredith Mansfield / E-book Adobe ePub DRM
common.buy 9.46 zł

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?