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 > Mathematical theory of computation

Buy Now

Tools and Algorithms for the Construction and Analysis of Systems - 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings (Paperback, 2002 ed.) Loot Price: R1,602
Discovery Miles 16 020
Repayment Terms: R150 pm x 12*
Add to cart
Tools and Algorithms for the Construction and Analysis of Systems - 8th International Conference, TACAS 2002, Held as Part of...

Tools and Algorithms for the Construction and Analysis of Systems - 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings (Paperback, 2002 ed.)

Joost-Pieter Katoen, Perdita Stevens

Series: Lecture Notes in Computer Science, 2280

 (sign in to rate)
Loot Price R1,602 Discovery Miles 16 020 | 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 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, held in Grenoble, France, in April 2002.The 29 revised full papers presented together with one invited paper and four tool papers were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on real-time and probabilistic systems, scheduling, miscellaneous, software verification, infinite-state and parametric systems, model checking: logics and algorithms, model checking and testing, partial-order and simulation techniques, and debugging with model checking.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 2280
Release date: 2001
First published: 2002
Editors: Joost-Pieter Katoen • Perdita Stevens
Dimensions: 235 x 155 x 25mm (L x W x T)
Format: Paperback
Pages: 486
Edition: 2002 ed.
ISBN-13: 978-3-540-43419-1
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Promotions
LSN: 3-540-43419-4
Barcode: 9783540434191

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

Creativity in Computing and DataFlow SuperComputing, Volume 104 (Hardcover): Suyel Namasudra, Veljko Milutinovic
Creativity in Computing and DataFlow…
Suyel Namasudra, Veljko Milutinovic Hardcover R4,204 Discovery Miles 42 040
Agent-Based Modeling and Network Dynamics (Hardcover): Akira Namatame, Shu-Heng Chen
Agent-Based Modeling and Network…
Akira Namatame, Shu-Heng Chen Hardcover R2,970 Discovery Miles 29 700
Dual Quaternions and Their Associated Clifford Algebras (Paperback): Ronald Goldman
Dual Quaternions and Their Associated…
Ronald Goldman Paperback R1,369 Discovery Miles 13 690
Fibonacci Cubes With Applications And Variations (Hardcover): Omer Egecioglu, Sandi Klavzar, Michel Mollard
Fibonacci Cubes With Applications And…
Omer Egecioglu, Sandi Klavzar, … Hardcover R2,380 Discovery Miles 23 800
Digital Protection for Power Systems (Hardcover, 2nd edition): Salman K. Salman, A.T. Johns
Digital Protection for Power Systems
Salman K. Salman, A.T. Johns Hardcover R3,128 R2,831 Discovery Miles 28 310
Theory and Computation of Tensors - Multi-Dimensional Arrays (Paperback): Yimin Wei, Weiyang Ding
Theory and Computation of Tensors…
Yimin Wei, Weiyang Ding Paperback R1,372 Discovery Miles 13 720
Intensional First-Order Logic - From AI to New SQL Big Data (Hardcover): Zoran Majkic
Intensional First-Order Logic - From AI…
Zoran Majkic Hardcover R4,558 Discovery Miles 45 580
Numerical Time-Dependent Partial Differential Equations for Scientists and Engineers, Volume 213 (Hardcover): Moysey Brio, Gary...
Numerical Time-Dependent Partial…
Moysey Brio, Gary M. Webb, … Hardcover R3,033 R2,850 Discovery Miles 28 500
Restricted Congruences in Computing (Hardcover): Khodakhast Bibak
Restricted Congruences in Computing
Khodakhast Bibak Hardcover R1,666 Discovery Miles 16 660
Conceptual Spaces: Elaborations and Applications (Hardcover, 1st ed. 2019): Mauri Kaipainen, Frank Zenker, Antti Hautamaki,...
Conceptual Spaces: Elaborations and…
Mauri Kaipainen, Frank Zenker, … Hardcover R3,112 Discovery Miles 31 120
Handbook of Research on Emerging Trends and Applications of Machine Learning (Hardcover, 2 Volumes): Arun Solanki, Sandeep...
Handbook of Research on Emerging Trends…
Arun Solanki, Sandeep Kumar, … Hardcover R10,356 Discovery Miles 103 560
Numerical Methods for Linear Control Systems (Hardcover): Biswa Datta
Numerical Methods for Linear Control…
Biswa Datta Hardcover R2,251 Discovery Miles 22 510

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