-
1
-
2
-
3
-
4
-
5Abstract State Machines 2003 [electronic resource] : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings / Abstract State Machines 2003 [electronic resource] : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings /by Börger, Egon. editor., Gargantini, Angelo. editor., Riccobene, Elvinia. editor., SpringerLink (Online service)
Published 2003Texto bibliotecaCOLPOS -
6Abstract State Machines 2003 [electronic resource] : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings / Abstract State Machines 2003 [electronic resource] : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings /by Börger, Egon. editor., Gargantini, Angelo. editor., Riccobene, Elvinia. editor., SpringerLink (Online service)
Published 2003Texto bibliotecaCOLPOS -
7Computer Science Logic [electronic resource] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers / Computer Science Logic [electronic resource] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers /by Börger, Egon. editor., Gurevich, Yuri. editor., Meinke, Karl. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
8Computer Science Logic [electronic resource] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers / Computer Science Logic [electronic resource] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers /by Börger, Egon. editor., Gurevich, Yuri. editor., Meinke, Karl. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
9CSL '89 [electronic resource] : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings / CSL '89 [electronic resource] : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings /by Börger, Egon. editor., Büning, Hans Kleine. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1990Texto bibliotecaCOLPOS -
10CSL '88 [electronic resource] : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings / CSL '88 [electronic resource] : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings /by Börger, Egon. editor., Büning, Hans Kleine. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS -
11CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings / CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings /by Börger, Egon. editor., Büning, Hans Kleine. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS -
12CSL '88 [electronic resource] : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings / CSL '88 [electronic resource] : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings /by Börger, Egon. editor., Büning, Hans Kleine. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS -
13CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings / CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings /by Börger, Egon. editor., Büning, Hans Kleine. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS -
14Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings / Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings /by Börger, Egon. editor., Kleine Büning, Hans. editor., Richter, Michael M. editor., Schönfeld, Wolfgang. editor., SpringerLink (Online service)
Published 1991Texto bibliotecaCOLPOS -
15Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings / Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings /by Börger, Egon. editor., Kleine Büning, Hans. editor., Richter, Michael M. editor., Schönfeld, Wolfgang. editor., SpringerLink (Online service)
Published 1991Texto bibliotecaCOLPOS
![Architecture Design and Validation Methods [electronic resource] /](/search/themes/bootstrap3/images/libros.png)