0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Not currently available

Tools and Algorithms for the Construction and Analysis of Systems - 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings (Paperback, 2008 ed.) Loot Price: R736
Discovery Miles 7 360
You Save: R1,822 (71%)
Tools and Algorithms for the Construction and Analysis of Systems - 14th International Conference, TACAS 2008, Held as Part of...

Tools and Algorithms for the Construction and Analysis of Systems - 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings (Paperback, 2008 ed.)

C.R. Ramakrishnan, Jakob Rehof

Series: Theoretical Computer Science and General Issues, 4963

 (sign in to rate)
List price R2,558 Loot Price R736 Discovery Miles 7 360 | Repayment Terms: R69 pm x 12* You Save R1,822 (71%)

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci?c to the satellite events). The ?ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe ?nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. 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 the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Theoretical Computer Science and General Issues, 4963
Release date: March 2008
First published: 2008
Editors: C.R. Ramakrishnan • Jakob Rehof
Dimensions: 234 x 156 x 27mm (L x W x T)
Format: Paperback
Pages: 520
Edition: 2008 ed.
ISBN-13: 978-3-540-78799-0
Categories: Books > Computing & IT > Computer programming > Software engineering
LSN: 3-540-78799-2
Barcode: 9783540787990

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

Programming Logic & Design…
Joyce Farrell Paperback R1,304 R1,166 Discovery Miles 11 660
Using UML - Software Engineering with…
Perdita Stevens Paperback R2,219 Discovery Miles 22 190
Software Engineering for Real-Time…
Jim Cooling Paperback R2,394 R2,074 Discovery Miles 20 740
Writing Better Requirements - Writing…
Ian Alexander, Richard Stevens Paperback R1,296 Discovery Miles 12 960
Software Requirements - Styles and…
Soren Lauesen Paperback R1,981 Discovery Miles 19 810
Design and Use of Software Architectures…
Jan Bosch Paperback R1,599 Discovery Miles 15 990
Software Requirements And Specifications…
M. Jackson Paperback R1,428 Discovery Miles 14 280
Software Inspection
Tom Gilb, Dorothy Graham Paperback R1,681 Discovery Miles 16 810
The Business Analyst - Information…
Vernon Zwiers Paperback R657 R579 Discovery Miles 5 790
Engineering Management for the Rest of…
Sarah Drasner Hardcover R708 Discovery Miles 7 080
ISE Object-Oriented Software…
David Kung Paperback R1,882 Discovery Miles 18 820
Six Sigma Tools and Processes…
Hollie Hargreaves Hardcover R788 Discovery Miles 7 880

See more

Partners