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 FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Specification and Proof in Real Time CSP

Limba englezăengleză
Carte Copertă tare
Carte Specification and Proof in Real Time CSP Jim Davies
Codul Libristo: 06225565
Editura Cambridge University Press, mai 1993
The research contained in this 1993 book represents work on the specification and verification of re...
? points 373 b
804.61 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

1557-1815. Reali Presidi di Toscana. Un piccolo stato, una grande storia Gualtiero Della Monaca / Carte Carte broșată
common.buy 120.84 lei
Telemann, Georg Philipp - Zwölf Fantasien für Flöte solo TWV 40:2-13 Georg Philipp Telemann / Materiale tipărite Note muzicale
common.buy 98.66 lei
Trötsch Der kleine Maulwurf Schreib und wisch weg Buchstaben Zdenek Miler / Carte Copertă tare
common.buy 40.62 lei
Sestry Blueovy Coco Mellors / Carte Carte broșată
common.buy 74.41 lei
P.D. SERES MITOLOXICOS 3 ANOS -QUE VES? MARTINEZ REY Carte Carte
common.buy 67.77 lei
L'art Moderne; Volume 18 Edmond Picard / Carte Copertă tare
common.buy 209.57 lei
L'Oracle de la magie des sorcières Lorriane Anderson / Carte Carte broșată
common.buy 161.68 lei
Milosrdné přízraky April Genevieve Tucholkeová / Carte Carte broșată
common.buy 61.56 lei
L'Affaire Du Sang Contamine (1983-2003) Sophie Chauveau / Carte Carte broșată
common.buy 192.26 lei
Gouvernants Et Gouvernes: Essai Sur La Question Sociale Sans Auteur / Carte Carte broșată
common.buy 116.28 lei
Curând
Sbírka řešených úloh z fyziky pro střední školy II. Karel Bartuška / Carte Carte broșată
common.buy 41.03 lei
Mit Geschichten Franzosich lernen fur Anfanger Frederic Bibard / Carte Carte broșată
common.buy 80.94 lei
Vorlageblatter fur Schiffbauer (1835) Gustav David Klawitter / Carte Carte broșată
common.buy 246.05 lei
Hrnky Brnky Oldřich Dudek / Carte Copertă tare
common.buy 18.54 lei
Johan y Pirluit, nº3 Flecha negra PEYO / Carte Copertă tare
common.buy 203.55 lei
Objavujeme svet! Protiklady Nathalie Choux / Carte Cărți pliante
common.buy 38.44 lei
Europas Kern Winfried Veit / Carte Carte broșată
common.buy 78.14 lei
La Conspiration Des Lesbiennes suivie de Premi?re Jouissance Lesbienne: Deux mini-histoires tr?s cochonnes Danielle Grevineau / Carte Carte broșată
common.buy 62.39 lei
Tristram Schandis Leben und Meinungen Johann Joachim Christoph Bode / Carte Carte broșată
common.buy 84.36 lei
Puzzle 40 maxi Monster truck pokazy B-040308 / Joc / Jucărie Puzzle
common.buy 46.63 lei
Údolí zvonu Jindřich Zogata / Carte Foaie
common.buy 60.00 lei
L'Aventure archéologique en Égypte Fagan / Carte Carte broșată
common.buy 143.54 lei
Boire la mer à Gaza Amira Hass / Carte Carte broșată
common.buy 152.35 lei
YOU'LL NEVER WALK ALONE ENSEMBLE DE CUIVRES OSCAR HAMMERSTEIN II Carte binding.
common.buy 114.42 lei

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

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 Specification and Proof in Real Time CSP
Autor Jim Davies
Limba engleză
Legare Carte - Copertă tare
Data publicării 1993
Număr pagini 200
EAN 9780521450553
ISBN 9780521450553
Codul Libristo 06225565
Editura Cambridge University Press
Greutatea 530
Dimensiuni 181 x 256 x 13

Categorii

Computing & Information Technology > Computer science > Computer architecture & logic design > Parallel processing
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Databases > Data capture & analysis
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Mathematics is (mostly) Analytic Gregory Lavers / Carte Carte broșată
common.buy 143.75 lei
Reordering Marriage and Society in Reformation Germany Joel F. Harrington / Carte Copertă tare
common.buy 658.36 lei
Mikhail Bulgakov Lesley Milne / Carte Carte broșată
common.buy 268.33 lei
How Computers Really Work Matthew Justice / E-book Adobe ePub DRM
common.buy 168.52 lei
Three-Factor Model of Couples Therapy Robert Mendelsohn / Carte Copertă tare
common.buy 650.07 lei
Sleepy Princess in the Demon Castle, Vol. 10 Kagiji Kumanomata / Carte Carte broșată
common.buy 46.84 lei
Top
Bride's Story, Vol. 10 Kaoru Mori / Carte Carte broșată
common.buy 77.00 lei
Buccal Drug Delivery System Manish Kumar / Carte Carte broșată
common.buy 177.64 lei
Daily Readings from All Things Are Working for Your Good Joel Osteen / Carte Copertă tare
common.buy 69.54 lei
Who's Got Your Back? Barbara B Duncan / Carte Carte broșată
common.buy 84.98 lei
BLACK MOROCCAN MIDI LIN Hartley & Marks Publishers Inc / Carte Copertă tare
common.buy 77.52 lei
Classical Sheet Music For Piccolo With Piccolo & Piano Duets Book 2 Michael Shaw / Carte Carte broșată
common.buy 56.79 lei
Snake Lies Waiting Anna Holmwood / Carte Carte broșată
common.buy 100.32 lei
Top
Color Index XL Jim Krause / Carte Carte broșată
common.buy 119.60 lei
RHAPSODY ANDRE WAIGNEIN / Carte Carte broșată
common.buy 162.09 lei
Contrastive Analysis of English & Arabic Bahaa Al-Zobaidy / Carte Carte broșată
common.buy 246.05 lei
Emerging Applications, Perspectives, and Discoveries in Cardiovascular Research Ashim Malhotra / Carte Copertă tare
common.buy 1 221.48 lei
ELECTRIC TRANSMISSION OF WATER POWER ALTON D. ADAMS / Carte Copertă tare
common.buy 188.84 lei
Italy in the Age of the Risorgimento 1790 - 1870 HEARDER / Carte Copertă tare
common.buy 1 140.32 lei
The Holy Land Adventure: An Adventure Puzzle Book Chris Wright / Carte Carte broșată
common.buy 44.45 lei
Finite Element Method and Medical Imaging Techniques in Bone Biomechanics Rabeb Ben Kahla / Carte Copertă tare
common.buy 873.33 lei
Approaches to Adult Education: A Guided Study for Instructors: Implementing Andragogical Methods Stephen R Crowell / Carte Carte broșată
common.buy 83.94 lei
Environmental Enrichment Siba Prasad Parida / Carte Carte broșată
common.buy 185.21 lei
New Adventures In Hi-Fi R.E.M. / Audio Audio plăci vinil
common.buy 221.48 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?