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

Your cart is empty

Books > Computing & IT > General theory of computing > Systems analysis & design

Buy Now

Tools and Algorithms for the Construction and Analysis of Systems - 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (Paperback, 1998 ed.) Loot Price: R1,597
Discovery Miles 15 970
Repayment Terms: R150 pm x 12*
Add to cart
Tools and Algorithms for the Construction and Analysis of Systems - 4th International Conference, TACAS'98, Held as Part...

Tools and Algorithms for the Construction and Analysis of Systems - 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (Paperback, 1998 ed.)

Bernhard Steffen

Series: Lecture Notes in Computer Science, 1384

 (sign in to rate)
Loot Price R1,597 Discovery Miles 15 970 | Repayment Terms: R150 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. The volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems. The papers are organized in sections on model checking, design and architecture, various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 1384
Release date: March 1998
First published: 1998
Editors: Bernhard Steffen
Dimensions: 233 x 155 x 24mm (L x W x T)
Format: Paperback
Pages: 461
Edition: 1998 ed.
ISBN-13: 978-3-540-64356-2
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Promotions
LSN: 3-540-64356-7
Barcode: 9783540643562

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..

Systems Analysis And Design In A Changing World (Hardcover, 7th Edition): John Satzinger, Robert Jackson, Stephen D. Burd
Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
 R1,284 R1,198 Discovery Miles 11 980
Systems Analysis And Design (Hardcover, 12th Edition): Scott Tilley
Systems Analysis And Design
Scott Tilley Hardcover R1,302 R1,213 Discovery Miles 12 130
Distributed Systems - Concurrency and Consistency (Hardcover): Matthieu Perrin
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,821 Discovery Miles 18 210
Real-Time Systems Development (Paperback): Rob Williams
Real-Time Systems Development
Rob Williams Paperback R1,319 Discovery Miles 13 190
Building Intelligent Agents - An Apprenticeship, Multistrategy Learning Theory, Methodology, Tool and Case Studies (Paperback):...
Building Intelligent Agents - An…
Gheorghe Tecuci Paperback R2,387 Discovery Miles 23 870
Axiomatic Design - Advances and Applications (Hardcover): Nam P Suh
Axiomatic Design - Advances and…
Nam P Suh Hardcover R5,972 Discovery Miles 59 720
Cases on Lean Thinking Applications in Unconventional Systems (Hardcover): Eduardo Guilherme Satolo, Robisom Damasceno Calado
Cases on Lean Thinking Applications in…
Eduardo Guilherme Satolo, Robisom Damasceno Calado Hardcover R5,991 Discovery Miles 59 910
Handbook of Research on 5G Networks and Advancements in Computing, Electronics, and Electrical Engineering (Hardcover):...
Handbook of Research on 5G Networks and…
Augustine O Nwajana, Isibor Kennedy Ihianle Hardcover R7,962 Discovery Miles 79 620
Implementing Data Analytics and Architectures for Next Generation Wireless Communications (Hardcover): Chintan Bhatt, Neeraj...
Implementing Data Analytics and…
Chintan Bhatt, Neeraj Kumar, … Hardcover R5,931 Discovery Miles 59 310
Temporal Self-organization for Neural Networks (Hardcover): Neil Euliano
Temporal Self-organization for Neural…
Neil Euliano Hardcover R2,084 Discovery Miles 20 840
Version Control and Management in Computer-aided Design Databases (Hardcover): Rafi Ahmed
Version Control and Management in…
Rafi Ahmed Hardcover R2,063 Discovery Miles 20 630
Advances in Non-volatile Memory and Storage Technology (Paperback, 2nd edition): Yoshio Nishi, Blanka Magyari-Kope
Advances in Non-volatile Memory and…
Yoshio Nishi, Blanka Magyari-Kope Paperback R4,593 Discovery Miles 45 930

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