Vogler, Walter: Modular Construction and Partial O

Vogler, Walter Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Courcoubetis, Costas (Hrsg.): Computer Aided Verif

Courcoubetis, Costas (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Enjalbert, Patrice (Hrsg.): STACS 93 (eBook)

Enjalbert, Patrice (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

118.00

Ceri, Stefano (Hrsg.): Deductive and Object-Orient

Ceri, Stefano (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Ehrig, Hartmut (Hrsg.): Recent Trends in Data Type

Ehrig, Hartmut (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Salwicki, A. (Hrsg.): Logics of Programs and Their

Salwicki, A. (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

31.00

Weber, Matthias: The Generic Development Language

Weber, Matthias Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Ehrig, Hartmut (Hrsg.): Formal Methods and Softwar

Ehrig, Hartmut (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

63.00

Prehn, Soren (Hrsg.): VDM '91. Formal Software Dev

Prehn, Soren (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

118.00

Ershov, A. (Hrsg.): Methods of Algorithmic Languag

Ershov, A. (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Blum, E. K. (Hrsg.): Mathematical Studies of Infor

Blum, E. K. (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

118.00

Lauer, Peter E. (Hrsg.): Functional Programming, C

Lauer, Peter E. (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Blaser, A. (Hrsg.): Data Base Techniques for Picto

Blaser, A. (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

63.00

Staunstrup, J. (Hrsg.): Program Specification (eBo

Staunstrup, J. (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Engeler, E. (Hrsg.): Logic of Programs (eBook)

Engeler, E. (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Chetverikov, Dmitry (Hrsg.): Computer Analysis of

Chetverikov, Dmitry (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Brookes, Stephen D. (Hrsg.): Seminar on Concurrenc

Brookes, Stephen D. (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Klint, Paul: A Study in String Processing Language

Klint, Paul Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Karlsson, Rolf (Hrsg.): SWAT '88 (eBook)

Karlsson, Rolf (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Krieg-Brückner, Bernd (Hrsg.): ESOP '92 (eBook)

Krieg-Brückner, Bernd (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Best, Eike (Hrsg.): CONCUR'93 (eBook)

Best, Eike (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Lingas, Andrzej (Hrsg.): Automata, Languages and P

Lingas, Andrzej (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

118.00

Levi, Giorgio (Hrsg.): Algebraic and Logic Program

Levi, Giorgio (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Haring, Günter (Hrsg.): Computer Performance Evalu

Haring, Günter (Hrsg.) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00