Catalog

Record Details

Catalog Search


Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings Cover Image E-book E-book

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Stefan Kowalewski, Anna Philippou.

Kowalewski, Stefan. (editor.). Philippou, Anna. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01934nam a22004575i 4500
00137436
003CONS
00520131220051050.0
007cr nn 008mamaa
008100301s2009 gw | s |||| 0|eng d
020 . ‡a9783642007682 ‡9978-3-642-00768-2
0247 . ‡a10.1007/978-3-642-00768-2 ‡2doi
035 . ‡a(DE-He213)978-3-642-00768-2
050 4. ‡aQA76.9.A43
072 7. ‡aUMB ‡2bicssc
072 7. ‡aCOM051300 ‡2bisacsh
1001 . ‡aKowalewski, Stefan. ‡eeditor.
24510. ‡aTools and Algorithms for the Construction and Analysis of Systems ‡h[electronic resource] : ‡b15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / ‡cedited by Stefan Kowalewski, Anna Philippou.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2009.
300 . ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5505
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aSoftware Engineering.
65024. ‡aSoftware Engineering/Programming and Operating Systems.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aProgramming Techniques.
7001 . ‡aPhilippou, Anna. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642007675
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5505
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-00768-2 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a37436 ‡b ‡c37436 ‡tbiblio ‡sSystem Local

Additional Resources