Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

Specification and Proof in Real Time CSP

Sprache EnglischEnglisch
Buch Hardcover
Buch Specification and Proof in Real Time CSP Jim Davies
Libristo-Code: 06225565
Verlag Cambridge University Press, Mai 1993
The research contained in this 1993 book represents work on the specification and verification of re...
? points 373 b
154.28 €
Externes Lager Wir versenden in 14-21 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

1557-1815. Reali Presidi di Toscana. Un piccolo stato, una grande storia Gualtiero Della Monaca / Buch Broschur
common.buy 23.09 €
Telemann, Georg Philipp - Zwölf Fantasien für Flöte solo TWV 40:2-13 Georg Philipp Telemann / Drucksachen Noten
common.buy 17.82 €
Trötsch Der kleine Maulwurf Schreib und wisch weg Buchstaben Zdenek Miler / Buch Hardcover
common.buy 7.28 €
Sestry Blueovy Coco Mellors / Buch Broschur
common.buy 14.27 €
P.D. SERES MITOLOXICOS 3 ANOS -QUE VES? MARTINEZ REY Buch Buch
common.buy 11.64 €
L'art Moderne; Volume 18 Edmond Picard / Buch Hardcover
common.buy 40.21 €
L'Oracle de la magie des sorcières Lorriane Anderson / Buch Broschur
common.buy 30.79 €
Milosrdné přízraky April Genevieve Tucholkeová / Buch Broschur
common.buy 11.03 €
L'Affaire Du Sang Contamine (1983-2003) Sophie Chauveau / Buch Broschur
common.buy 36.66 €
Gouvernants Et Gouvernes: Essai Sur La Question Sociale Sans Auteur / Buch Broschur
common.buy 22.28 €
Demnächst
Sbírka řešených úloh z fyziky pro střední školy II. Karel Bartuška / Buch Broschur
common.buy 7.49 €
Mit Geschichten Franzosich lernen fur Anfanger Frederic Bibard / Buch Broschur
common.buy 15.49 €
Vorlageblatter fur Schiffbauer (1835) Gustav David Klawitter / Buch Broschur
common.buy 44.56 €
Hrnky Brnky Oldřich Dudek / Buch Hardcover
common.buy 3.54 €
Johan y Pirluit, nº3 Flecha negra PEYO / Buch Hardcover
common.buy 35.34 €
Objavujeme svet! Protiklady Nathalie Choux / Buch Leporello
common.buy 7.38 €
avventure di Sherlock Holmes Arthur Conan Doyle / Buch Broschur
common.buy 11.94 €
Europas Kern Winfried Veit / Buch Broschur
common.buy 14.88 €
La Conspiration Des Lesbiennes suivie de Premi?re Jouissance Lesbienne: Deux mini-histoires tr?s cochonnes Danielle Grevineau / Buch Broschur
common.buy 11.94 €
Tristram Schandis Leben und Meinungen Johann Joachim Christoph Bode / Buch Broschur
common.buy 15.29 €
Puzzle 40 maxi Monster truck pokazy B-040308 / Spiel/Spielzeug Puzzle
common.buy 8.40 €
Demnächst
Údolí zvonu Jindřich Zogata / Buch Blatt
common.buy 11.54 €
L'Aventure archéologique en Égypte Fagan / Buch Broschur
common.buy 27.24 €
Boire la mer à Gaza Amira Hass / Buch Broschur
common.buy 29.06 €

The research contained in this 1993 book represents work on the specification and verification of real-time systems using CSP.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Specification and Proof in Real Time CSP
Autor Jim Davies
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 1993
Anzahl der Seiten 200
EAN 9780521450553
ISBN 9780521450553
Libristo-Code 06225565
Verlag Cambridge University Press
Gewicht 530
Abmessungen 181 x 256 x 13

Kategorie

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf > Parallelrechner, parallele Verarbeitung
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Datenbanken > Datenerfassung und -analyse
EDV und Informationstechnologie > Informatik > Theoretische Informatik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Mathematics is (mostly) Analytic Gregory Lavers / Buch Broschur
common.buy 27.54 €
Reordering Marriage and Society in Reformation Germany Joel F. Harrington / Buch Hardcover
common.buy 126.21 €
Mikhail Bulgakov Lesley Milne / Buch Broschur
common.buy 51.45 €
How Computers Really Work Matthew Justice / E-Book Adobe ePub DRM
common.buy 32.51 €
Three-Factor Model of Couples Therapy Robert Mendelsohn / Buch Hardcover
common.buy 137.16 €
Top Demnächst
Sleepy Princess in the Demon Castle, Vol. 10 Kagiji Kumanomata / Buch Broschur
common.buy 7.69 €
Top
Bride's Story, Vol. 10 Kaoru Mori / Buch Broschur
common.buy 14.48 €
Buccal Drug Delivery System Manish Kumar / Buch Broschur
common.buy 32.10 €
Daily Readings from All Things Are Working for Your Good Joel Osteen / Buch Hardcover
common.buy 13.36 €
Who's Got Your Back? Barbara B Duncan / Buch Broschur
common.buy 16.30 €
BLACK MOROCCAN MIDI LIN Hartley & Marks Publishers Inc / Buch Hardcover
common.buy 14.88 €
Classical Sheet Music For Piccolo With Piccolo & Piano Duets Book 2 Michael Shaw / Buch Broschur
common.buy 10.83 €
Snake Lies Waiting Anna Holmwood / Buch Broschur
common.buy 19.04 €
Top
Color Index XL Jim Krause / Buch Broschur
common.buy 22.88 €
RHAPSODY ANDRE WAIGNEIN / Buch Broschur
common.buy 30.79 €
Contrastive Analysis of English & Arabic Bahaa Al-Zobaidy / Buch Broschur
common.buy 44.56 €
Emerging Applications, Perspectives, and Discoveries in Cardiovascular Research Ashim Malhotra / Buch Hardcover
common.buy 257.61 €
ELECTRIC TRANSMISSION OF WATER POWER ALTON D. ADAMS / Buch Hardcover
common.buy 36.26 €
Italy in the Age of the Risorgimento 1790 - 1870 HEARDER / Buch Hardcover
common.buy 218.70 €
The Holy Land Adventure: An Adventure Puzzle Book Chris Wright / Buch Broschur
common.buy 8.50 €
Finite Element Method and Medical Imaging Techniques in Bone Biomechanics Rabeb Ben Kahla / Buch Hardcover
common.buy 167.44 €
Approaches to Adult Education: A Guided Study for Instructors: Implementing Andragogical Methods Stephen R Crowell / Buch Broschur
common.buy 16.10 €
Environmental Enrichment Siba Prasad Parida / Buch Broschur
common.buy 35.55 €
Demnächst
New Adventures In Hi-Fi R.E.M. / Audio Audio Vinyl
common.buy 42.44 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?