Tools And Algorithms For The Construction And Analysis Of Systems LNCS 2280(1st Edition)
Authors:
Joost-Pieter Katoen ,Perdita Stevens
In Stock
Include with your book
Free shipping: April 03, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 3540434194, 978-3540434191
Book publisher: Springer
Tools And Algorithms For The Construction And Analysis Of Systems LNCS 2280 1st Edition Summary: ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Customers also bought these books
The Complete Guide To Investing In Real Estate Tax Liens And Deeds How To Earn High Rates Of Return Safely - 1st Edition
Jamaine Burrell
ISBN: 0910627738, 978-0910627733
$0 $9.48Frequently Bought Together
Debugging Applications For Microsoft Net And Microsoft Windows - 1st Edition
John Robbins
ISBN: 0735615365, 978-0735615366
$0 $3.09
Unleash Your Trading Success With 1000 Pips Per Month The Comprehensive Guidebook For Traders - 1st Edition
Roson W Damian
ISBN: B0CWYD3MC5, 979-8883385161
$0 $15.98
An introduction to management science quantitative approaches to decision making - 13th edition
David Anderson
ISBN: 9781111532246, 1111532222, 1111532249, 978-1111532222
$0 $324.95
Using Sage 50 Accounting 2021 - 1st Canadian Edition
Mary Purbhoo
ISBN: 0137572263, 978-0137572267
$0 $239.00
33 Meditations On Death Notes From The Wrong End Of Medicine - 1st Edition
David Jarrett
ISBN: 1784165115, 978-1784165116
$0 $13.09
Problems On Algorithms A Comprehensive Exercise Book For Students In Software Engineering - 1st Edition
Habib Izadkhah
ISBN: 3031170458, 978-3031170454
$0 $56.17
Algorithms And Architectures For Parallel Processing 9th International Conference ICA3PP 2009 Taipei Taiwan LNCS 5574 - 1st Edition
Arrems Hua
ISBN: 3642030947, 978-3642030949
$0 $93.76Top Reviews for Books
