Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected PapersBruynooghe, Maurice Bruynooghe, MauriceBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
2 |
Material Type: Livro
|
Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 ProceedingsCousot, Patrick ; Falaschi, Moreno ; Filé, Gilberto ; Rauzy, Antoine Cousot, Patrick ; Rauzy, Antoine ; Falaschi, Moreno ; Filé, GilbertoBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
|
3 |
Material Type: Livro
|
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected PapersBerardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio Berardi, Stefano ; Coppo, Mario ; Damiani, FerruccioBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
4 |
Material Type: Livro
|
Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, ProceedingsCrnkovic, Ivica ; Stafford, Judith A ; Schmidt, Heinz W ; Wallnau, Kurt Wallnau, Kurt ; Stafford, Judith A. ; Crnkovic, Ivica ; Schmidt, Heinz W.Berlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
5 |
Material Type: Livro
|
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 ProceedingsBowen, Jonathan P ; Hinchey, Michael G Bowen, Jonathan P. ; Hinchey, Michael G.Berlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
6 |
Material Type: Livro
|
Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, ProceedingsMoreira, Nelma ; Reis, RogérioCham: Springer International PublishingSem texto completo |
|
7 |
Material Type: Livro
|
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected PapersPacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, JerzyBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
8 |
Material Type: Livro
|
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected PapersRoggenbach, MarkusCham: Springer International PublishingSem texto completo |
|
9 |
Material Type: Livro
|
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, ProceedingsCasola, Valentina ; de Benedictis, Alessandra ; Rak, Massimiliano Casola, Valentina ; De Benedictis, Alessandra ; Rak, MassimilianoCham: Springer International Publishing 2020Sem texto completo |
|
10 |
Material Type: Livro
|
Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 ProceedingsWolper, Pierre Wolper, PierreBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |