Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods and Models for System Design

Name: Formal Methods and Models for System Design
Brand: Springer-Verlag New York Inc.
SKU: 10779399
Price: 80333 HUF
Availability: InStock
Author: Rajesh Gupta
ISBN: 9781402080517

A System Level Perspective

Rajesh Gupta

Paul Le Guernic

Sandeep Kumar Shukla

Language

English

Book Hardback

Libristo code: 10779399

Publishers Springer-Verlag New York Inc., June 2004

Focuses on: formal frameworks for complex system modelling, such as system-on-chip, embedded softwar... Full description

Libristo code: 10779399

529 b

80 333 Ft

50 % chance We search the world When will I receive my book?

Up to 30 days for returns

Customers also purchased

Mounanombarangal Sugathan Ashtamichira

Paperback

5 418 Ft

Sintesi guidata da prodotti naturali di molecole antitumorali promettenti Bilal Bhat

Paperback

19 671 Ft

Secondhand Toyfriend - Volume 2 Kostas Kind

Paperback

6 284 Ft

Carmen, 1 Blu-ray Benjamin Millepied

Blu-ray

7 696 Ft

Mayr Wanderkarte Brixental XL 1:25.000

Map

2 900 Ft

Falk Stadtplan Extra Freiburg 1:17.500

Map

3 566 Ft

Порядки любви Б. Хеллингер

Hardback

9 606 Ft

Les soeurs Grimm - tome 1 Détectives de contes de fées Michael Buckley

Hardback

6 600 Ft

De la douleur à l'éthique Philippe Meyer

Book

13 233 Ft

BABADADA black-and-white, slovenčina - Tswana, obrazkovy slovnik - bukantswe ya ditshwantsho Babadada Gmbh

Paperback

2 671 Ft

Das Rad der Zeit 9 Andreas Decker

Paperback

7 514 Ft

Das große Experimentierbuch für kleine Forscher Christina Braun

Hardback

5 284 Ft

Islam Uygarligindaki 1001 Bulus ve Olaganüstü Gercekler

Paperback

11 946 Ft

Inmunbiologia de la Infeccion y Control de Brucella sp. en Venezuela Sergio Rivera

Paperback

19 671 Ft

Wie man Mikroben auf Reisen schickt Katharina Kreuder-Sonnen

Hardback

11 960 Ft

Adn (Dna) Wendy Conklin

Paperback

4 461 Ft

Unfehlbarkeit des Papstes als Lehrer der Kirche Francis Xavier Weninger

Paperback

10 759 Ft

Kommunikationserfolg des Sponsorings. Eine Analyse unter besonderer Berücksichtigung der Kommunikationsquellen Tom Scheffler

Paperback

6 858 Ft

Lieder von Walther von der Vogelweide Walther Von Der Vogelweide

Paperback

5 781 Ft

Matemáticas estructura modular, Educación Secundaria de adultos F. Gallego Rodríguez

Paperback

12 338 Ft

Algoritmi David Harel

Paperback

22 202 Ft

Schön aufbewahrt und selbst genäht Debbie Shore

Hardback

3 475 Ft

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.