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 /

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 /

Bibliographic Details
Corporate Author: International Conference on Tools and Algorithms for the Construction and Analysis of Systems York, UK.
Other Authors: Kowalewski, Stefan (ed.), Philippou, Anna (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer 2009.
Series:Lecture notes in computer science ; v. 5505
Subjects:
Tools and techniques
Program verification
Logic and meanings of programs
Complexity classes
Grammars
Herramientas y técnicas
Verificación de programas
Lógica y significado de programas

MARC

LEADER 00000nam a22000007a 4500
001 7921721
003 AR_CdUFM
005 20160908124508.0
006 m d
008 090213s2009 gw |s|||| 00| 0 eng d
020 |a 9783642007675 
024 |a 9783642007675 
040 |a BIP US  |d WaSeSS  |d AR_CdUFM 
111 2 |a International Conference on Tools and Algorithms for the Construction and Analysis of Systems  |n (15º :  |d 2009 :  |c York, UK.) 
245 0 0 |a Tools and Algorithms for the Construction and Analysis of Systems :  |b 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 /  |c Stefan Kowalewski, Anna Philippou, editors. 
260 |a Berlin :   |b Springer  |c 2009. 
300 |a xvi, 456 p. ;  |c 24 cm. 
490 0 |a Lecture notes in computer science ;  |v v. 5505 
541 |a Importación de Publicaciones  |c Compra: Subsidio Secyt-UNC-2010-Gramaglia Hector  |d 2010-10-22  |e 20728  |h $432  |o Libro 
650 4 |a Tools and techniques 
650 4 |a Program verification 
650 4 |a Logic and meanings of programs 
650 4 |a Complexity classes 
650 4 |a Grammars 
650 4 |a Herramientas y técnicas 
650 4 |a Verificación de programas 
650 4 |a Lógica y significado de programas 
700 1 |9 9235  |a Kowalewski, Stefan,  |e ed. 
700 1 |9 13423  |a Philippou, Anna,  |e ed. 
942 |c LIBRO  |2   
945 |a MCR  |d 2010-10-22 
952 |0 0  |1 0  |4 0  |6 C_LNCS_V__5505_000000000000000  |7 0  |9 20001  |a MMA  |b MMA  |c LN  |d 2010-10-22  |e Subsidio Secyt-UNC 2010-Gramaglia Hector: Importación de Publicaciones  |g 0.00  |l 0  |o C LNCS v. 5505  |p 20728  |r 2010-10-22 00:00:00  |w 2010-10-22  |y LIBRO 
999 |c 15703  |d 15702 

Similar Items