Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point
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
Delivery
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
Free delivery for purchases over 19 990 Ft
Shopping guide
We’re here for you!
+36 9 6998 040
My account
▸
Empty :-(
0
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point
Formal Methods and Models for System Design
A System Level Perspective
Language
English
English
Book
Hardback
Focuses on: formal frameworks for complex system modelling, such as system-on-chip, embedded softwar...
Full description
Libristo code: 10779399
?
517 b
517 b
75 973
Ft
50 % chance
We search the world
When will I receive my book?
Up to 30 days for returns
Customers also purchased
/
Paperback
19 035
Ft
/
Paperback
2 598
Ft
/
Paperback
6 651
Ft
/
Paperback
11 940
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Formal Methods and Models for System Design
Language
English
English
Binding
Book - Hardback
Date of issue
2004
Number of pages
372
EAN
9781402080517
ISBN
9781402080517
Libristo code
10779399
Publishers
Springer-Verlag New York Inc.
Weight
797
Dimensions
160 x 240 x 22
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
4 993
Ft
/
Hardback
12 866
Ft
