Hero image 0 of Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part , Book 1384, (Paperback), 0 of 1
Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part , Book 1384, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part , Book 1384, (Paperback)
- Author: Springer
- ISBN: 9783540643562
- Format: Paperback
- Publication Date: 1998-03-18
- Page Count: 461
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateMarch, 1998
- Pages461
- SubgenreLogic Design
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Wed, May 6
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (3)
Starting from $56.14
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
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.
- Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part , Book 1384, (Paperback)
- Author: Springer
- ISBN: 9783540643562
- Format: Paperback
- Publication Date: 1998-03-18
- Page Count: 461
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
March, 1998
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June, Book 735, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June, Book 735, (Paperback)
Lecture Notes in Computer Science Generative and Component-Based Software Engineering: First International Symposium, Gcse'99, Erfurt, Germany, September , Book 1799, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Generative and Component-Based Software Engineering: First International Symposium, Gcse'99, Erfurt, Germany, September , Book 1799, (Paperback)
Lecture Notes in Computer Science Vision Algorithms: Theory and Practice: International Workshop on Vision Algorithms Corfu, Greece, September 21-22, 1999, Book 1883, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Vision Algorithms: Theory and Practice: International Workshop on Vision Algorithms Corfu, Greece, September 21-22, 1999, Book 1883, (Paperback)
Lecture Notes in Computer Science Foundations of Software Science and Computation Structures: First International Conference, Fossacs'98, Held as Part of , Book 1378, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Foundations of Software Science and Computation Structures: First International Conference, Fossacs'98, Held as Part of , Book 1378, (Paperback)
Lecture Notes in Computer Science Machine Learning in Clinical Neuroimaging: 7th International Workshop, Mlcn 2024, Held in Conjunction with Miccai 2024, , Book 15266, (Paperback) $59.99
$5999current price $59.99Lecture Notes in Computer Science Machine Learning in Clinical Neuroimaging: 7th International Workshop, Mlcn 2024, Held in Conjunction with Miccai 2024, , Book 15266, (Paperback)
Lecture Notes in Computer Science Foundations of Data Organization and Algorithms: 4th International Conference, Fodo '93, Chicago, Illinois, Usa, October, Book 730, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Foundations of Data Organization and Algorithms: 4th International Conference, Fodo '93, Chicago, Illinois, Usa, October, Book 730, (Paperback)
Lecture Notes in Computer Science Foundations of Software Science and Computational Structures: 6th International Conference, Fossacs 2003 Held as Part of, Book 2620, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Foundations of Software Science and Computational Structures: 6th International Conference, Fossacs 2003 Held as Part of, Book 2620, (Paperback)
Lecture Notes in Computer Science Utility Computing: 15th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2004, D, Book 3278, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Utility Computing: 15th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2004, D, Book 3278, (Paperback)
Lecture Notes in Computer Science Programming Languages: Implementations, Logics and Programs: 7th International Symposium, Plilp '95, Utrecht, the Nether, Book 982, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Programming Languages: Implementations, Logics and Programs: 7th International Symposium, Plilp '95, Utrecht, the Nether, Book 982, (Paperback)
Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Third International Workshop, Sfcm 2013, Berlin, Germany, September, Book 380, (Paperback) $60.81
$6081current price $60.81Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Third International Workshop, Sfcm 2013, Berlin, Germany, September, Book 380, (Paperback)
Lecture Notes in Computer Science Geometry, Morphology, and Computational Imaging: 11th International Workshop on Theoretical Foundations of Computer Visi, Book 2616, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Geometry, Morphology, and Computational Imaging: 11th International Workshop on Theoretical Foundations of Computer Visi, Book 2616, (Paperback)
Lecture Notes in Computer Science Applied Algorithms: Second International Conference, Icaa 2025, Kolkata, India, January 8-10, 2025, Proceedings, Book 15505, (Paperback) $84.99
$8499current price $84.99Lecture Notes in Computer Science Applied Algorithms: Second International Conference, Icaa 2025, Kolkata, India, January 8-10, 2025, Proceedings, Book 15505, (Paperback)
Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Fourth International Workshop, Sfcm 2015, Stuttgart, Germany, Septe, Book 537, (Paperback) $56.14
$5614current price $56.14Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Fourth International Workshop, Sfcm 2015, Stuttgart, Germany, Septe, Book 537, (Paperback)
Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held as Part of the Joint Euro, Book 1783, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held as Part of the Joint Euro, Book 1783, (Paperback)
Lecture Notes in Computer Science Advanced Information Systems Engineering: 11th International Conference, Caise'99, Heidelberg, Germany, June 14-18, 1999, Book 1626, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Advanced Information Systems Engineering: 11th International Conference, Caise'99, Heidelberg, Germany, June 14-18, 1999, Book 1626, (Paperback)
Foundations of Software Science and Computational Structures: 11th International Conference, Fossacs 2008, Held as Part , (Paperback) $54.99
$5499current price $54.99Foundations of Software Science and Computational Structures: 11th International Conference, Fossacs 2008, Held as Part , (Paperback)
Foundations of Software Science and Computational Structures: 14th International Conference, Fossacs 2011, Held as Part , (Paperback) $60.29
$6029current price $60.29Foundations of Software Science and Computational Structures: 14th International Conference, Fossacs 2011, Held as Part , (Paperback)
Lecture Notes in Computer Science Distributed Algorithms: 11th International Workshop, Wdag '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings, Book 1320, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Distributed Algorithms: 11th International Workshop, Wdag '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings, Book 1320, (Paperback)
Lecture Notes in Computer Science Fundamentals of Computation Theory: 8th International Conference, Fct '91, Gosen, Germany, September 9-13, 1991. Proceed, Book 529, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Fundamentals of Computation Theory: 8th International Conference, Fct '91, Gosen, Germany, September 9-13, 1991. Proceed, Book 529, (Paperback)
Lecture Notes in Computer Science Foundations of Software Science and Computation Structures: 4th International Conference, Fossacs 2001 Held as Part of t, Book 2030, (Paperback) $64.22
$6422current price $64.22Lecture Notes in Computer Science Foundations of Software Science and Computation Structures: 4th International Conference, Fossacs 2001 Held as Part of t, Book 2030, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
Related pages
- Cy Decosse Incorporated
- Sap Materials Management
- Del Duduit
- Sarastro Gmbh (hrsg )
- Cyan Communications
- Transparent Technology
- Cybernetics Books
- Nanotechnology & MEMS Books
- General Data Transmission Systems Books
- Signals & Signal Processing Technology & Engineering Books
- Mobile Devices Books
- Mobile & Wireless Communications Books