Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer communications & networking

Buy Now

Digitale Hardware/Software-Systeme - Spezifikation Und Verifikation (German, Paperback, 2010 ed.) Loot Price: R1,139
Discovery Miles 11 390
Repayment Terms: R107 pm x 12*
Add to cart
Digitale Hardware/Software-Systeme - Spezifikation Und Verifikation (German, Paperback, 2010 ed.): Christian Haubelt, Jurgen...

Digitale Hardware/Software-Systeme - Spezifikation Und Verifikation (German, Paperback, 2010 ed.)

Christian Haubelt, Jurgen Teich

Series: eXamen.Press, 0

 (sign in to rate)
Loot Price R1,139 Discovery Miles 11 390 | Repayment Terms: R107 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

Eingebettete Systeme sind aus unserem taglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, uber Hardware- und Softwaregrenzen hinausgehendes Verstandnis der Verifikationsproblematik erforderlich. Das vorliegende Lehrbuch dient als Einfuhrung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Alle Verfahren werden in einer einheitlichen Notation fur Hard- und Software beschrieben.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: eXamen.Press, 0
Release date: June 2010
First published: June 2010
Authors: Christian Haubelt • Jurgen Teich
Dimensions: 234 x 156 x 31mm (L x W x T)
Format: Paperback - Trade
Pages: 601
Edition: 2010 ed.
ISBN-13: 978-3-642-05355-9
Languages: German
Categories: Books > Professional & Technical > Technology: general issues > Engineering: general
Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Computer communications & networking > General
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
Promotions
LSN: 3-642-05355-6
Barcode: 9783642053559

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

CISA - Certified Information Systems Auditor Study Guide 4e (Paperback, 4th Edition): Cannon
CISA - Certified Information Systems…
Cannon Paperback R1,635 R1,311 Discovery Miles 13 110
CompTIA Security+ Guide To Network Security Fundamentals (Paperback, 8th Edition): Mark Ciampa
CompTIA Security+ Guide To Network…
Mark Ciampa Paperback R1,335 R1,242 Discovery Miles 12 420
Managing Business Projects - The Essentials (Paperback, 3rd Edition): Frank Einhorn
Managing Business Projects - The…
Frank Einhorn Paperback R1,370 R1,283 Discovery Miles 12 830
Guide to Networking Essentials (Paperback, 8th edition): Greg Tomsho
Guide to Networking Essentials
Greg Tomsho Paperback R1,365 R1,269 Discovery Miles 12 690
Safety of Web Applications - Risks, Encryption and Handling Vulnerabilities with PHP (Hardcover): Eric Quinton
Safety of Web Applications - Risks…
Eric Quinton Hardcover R2,330 Discovery Miles 23 300
Distributed Systems - Concurrency and Consistency (Hardcover): Matthieu Perrin
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,821 Discovery Miles 18 210
Optimization of Manufacturing Systems Using the Internet of Things (Paperback): Yingfeng Zhang, Fei Tao
Optimization of Manufacturing Systems…
Yingfeng Zhang, Fei Tao Paperback R3,249 R2,814 Discovery Miles 28 140
RIoT Control - Understanding and Managing Risks and the Internet of Things (Paperback, UK ed.): Tyson Macaulay
RIoT Control - Understanding and…
Tyson Macaulay Paperback R1,374 R1,161 Discovery Miles 11 610
The Host in the Machine - Examining the Digital in the Social (Paperback): Angela Thomas-Jones
The Host in the Machine - Examining the…
Angela Thomas-Jones Paperback R1,318 Discovery Miles 13 180
Practical Industrial Data Communications - Best Practice Techniques (Paperback): Deon Reynders, Steve Mackay, Edwin Wright
Practical Industrial Data Communications…
Deon Reynders, Steve Mackay, … Paperback R1,452 Discovery Miles 14 520
Digital Signal Processing and Applications (Paperback, 2nd edition): Dag Stranneby
Digital Signal Processing and…
Dag Stranneby Paperback R1,371 Discovery Miles 13 710
Practical Modern SCADA Protocols - DNP3, 60870.5 and Related Systems (Paperback): Gordon Clarke, Deon Reynders
Practical Modern SCADA Protocols - DNP3…
Gordon Clarke, Deon Reynders Paperback R1,469 Discovery Miles 14 690

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners