Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;
Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.

Formal Methods and Models for System Design

A System Level Perspective

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Σκληρόδετο
Βιβλίο Formal Methods and Models for System Design Rajesh Gupta
Κωδικός Libristo: 10779399
ΕΕκδοτικός οίκος Springer-Verlag New York Inc., Ιούνιος 2004
Focuses on: formal frameworks for complex system modelling, such as system-on-chip, embedded softwar... Πλήρης περιγραφή
? points 482 b
199.45 €
50% πιθανότητα θα ψάξουμε όλο τον κόσμο Πότε θα λάβω το βιβλίο;
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Falk Stadtplan Extra Freiburg 1:17.500 / Έντυπα Χάρτης
common.buy 8.90 €
Mayr Wanderkarte Brixental XL 1:25.000 / Έντυπα Χάρτης
common.buy 7.18 €
Sintesi guidata da prodotti naturali di molecole antitumorali promettenti Bilal Bhat / Βιβλίο Χαρτόδετο
common.buy 48.97 €
Secondhand Toyfriend - Volume 2 Kostas Kind / Βιβλίο Χαρτόδετο
common.buy 15.57 €
Mounanombarangal Sugathan Ashtamichira / Βιβλίο Χαρτόδετο
common.buy 14.36 €
Порядки любви Б. Хеллингер / Βιβλίο Σκληρόδετο
common.buy 26.10 €
Les soeurs Grimm - tome 1 Détectives de contes de fées Michael Buckley / Βιβλίο Σκληρόδετο
common.buy 18.21 €
De la douleur à l'éthique Philippe Meyer / Βιβλίο Βιβλίο
common.buy 35.21 €
BABADADA black-and-white, slovenčina - Tswana, obrazkovy slovnik - bukantswe ya ditshwantsho Babadada Gmbh / Βιβλίο Χαρτόδετο
common.buy 6.77 €
Das Rad der Zeit 9 Andreas Decker / Βιβλίο Χαρτόδετο
common.buy 18.61 €
Das große Experimentierbuch für kleine Forscher Christina Braun / Βιβλίο Σκληρόδετο
common.buy 13.15 €
Islam Uygarligindaki 1001 Bulus ve Olaganüstü Gercekler / Βιβλίο Χαρτόδετο
common.buy 30.05 €
Inmunbiologia de la Infeccion y Control de Brucella sp. en Venezuela Sergio Rivera / Βιβλίο Χαρτόδετο
common.buy 48.97 €
Wie man Mikroben auf Reisen schickt Katharina Kreuder-Sonnen / Βιβλίο Σκληρόδετο
common.buy 32.78 €
Adn (Dna) Wendy Conklin / Βιβλίο Χαρτόδετο
common.buy 11.63 €
Unfehlbarkeit des Papstes als Lehrer der Kirche Francis Xavier Weninger / Βιβλίο Χαρτόδετο
common.buy 26.81 €
Kommunikationserfolg des Sponsorings. Eine Analyse unter besonderer Berücksichtigung der Kommunikationsquellen Tom Scheffler / Βιβλίο Χαρτόδετο
common.buy 17.09 €
Lieder von Walther von der Vogelweide Walther Von Der Vogelweide / Βιβλίο Χαρτόδετο
common.buy 14.36 €
Matemáticas estructura modular, Educación Secundaria de adultos F. Gallego Rodríguez / Βιβλίο Χαρτόδετο
common.buy 30.86 €
Algoritmi David Harel / Βιβλίο Χαρτόδετο
common.buy 55.55 €
Schön aufbewahrt und selbst genäht Debbie Shore / Βιβλίο Σκληρόδετο
common.buy 8.59 €

Focuses on: formal frameworks for complex system modelling, such as system-on-chip, embedded software, component based systems; formal verification techniques, especially abstraction and refinement based methodologies; and behavioural type theory for system integration. This book is suitable as a graduate level text for a seminar based course.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Formal Methods and Models for System Design
Συγγραφέας Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Σκληρόδετο
Ημερομηνία έκδοσης 2004
Αριθμός σελίδων 372
EAN 9781402080517
ISBN 9781402080517
Κωδικός Libristo 10779399
ΕΕκδοτικός οίκος Springer-Verlag New York Inc.
Βάρος 797
Διαστάσεις 160 x 240 x 22

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Operating systems
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Proton Beam Therapy Santosh Yajnik / Βιβλίο Χαρτόδετο
common.buy 165.55 €
Poems of T. S. Eliot: Volume II T S Eliot / Βιβλίο Χαρτόδετο
common.buy 19.83 €
Avril Hilaire Belloc / Βιβλίο Σκληρόδετο
common.buy 35.21 €
Advances in Calcium Phosphate Biomaterials Besim Ben-Nissan / Βιβλίο Χαρτόδετο
common.buy 154.42 €
Τοπ
The Silverblood Promise James Logan / Βιβλίο Χαρτόδετο
common.buy 13.96 €
Catholic reformation and the Council of Trent. History or historiographical Myth? Massimo Firpo / Βιβλίο Σκληρόδετο
common.buy 36.22 €
The Best of the Shortest Mandy Haynes / Βιβλίο Χαρτόδετο
common.buy 21.24 €
Fundamentals of Pneumatics and Hydraulics Md. Abdus Salam / Βιβλίο Χαρτόδετο
common.buy 85.71 €
ENERGY SCIENCE AND ENGINEERING Namburi Nireekshana / Βιβλίο Χαρτόδετο
common.buy 54.33 €
New Grub Street: Unabridged edition George Gissing / Βιβλίο Χαρτόδετο
common.buy 14.66 €
Tiny Houses: Minimalist Living, Tiny Homes and Shipping Container Homes for a Better Life Richard Livingston / Βιβλίο Χαρτόδετο
common.buy 13.65 €
Town Carnival Day With Jonathan Ivet Graham-Morgan / Βιβλίο Χαρτόδετο
common.buy 11.32 €
First Love Monster, Vol. 6 Akira Hiyoshimaru / Βιβλίο Χαρτόδετο
common.buy 12.13 €
Prince and Little Weird Black Boy Gods SCOTT WOODS / Βιβλίο Χαρτόδετο
common.buy 16.59 €
dia en que llegaste Dolores Brown / Βιβλίο Σκληρόδετο
common.buy 17.09 €
Europe's Functional Constitution Isiksel / Βιβλίο Χαρτόδετο
common.buy 53.63 €
Conversations in Singapore Michael Daly / Βιβλίο Χαρτόδετο
common.buy 14.46 €
Notable Czech and Slovak Americans MILOSL RECHCIGL JR. / Βιβλίο Χαρτόδετο
common.buy 46.34 €
Subaltern History of the Indian Diaspora in Singapore John Solomon / Βιβλίο Χαρτόδετο
common.buy 66.68 €
2020 My Handbook CICI Calendar / Βιβλίο Χαρτόδετο
common.buy 9.00 €
The Capture and Escape or Life Among the Sioux Sarah L. Larimer / Βιβλίο Χαρτόδετο
common.buy 31.16 €
The Printing Of Greek In The Fifteenth Century (1900) Robert Proctor / Βιβλίο Σκληρόδετο
common.buy 44.11 €
Magnus Carlsen -- A Life In Pictures Jonathan Tisdall / Βιβλίο Χαρτόδετο
common.buy 30.55 €
Queen's Weapons Anne Bishop / Βιβλίο Χαρτόδετο
common.buy 9.00 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;