Your search returned 13 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma [and others], (eds.). by Series: Lecture notes in computer science ; 1019.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1995
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Software product-family engineering : 4th international workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers / Frank van der Linden (ed.). by Series: Lecture notes in computer science ; 2290.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
4.
Algebraic methods : theory, tools, and applications / M. Wirsing, J.A. Bergstra, eds. by Series: Lecture notes in computer science ; 394.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1989
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, the Netherlands, April 3-5, 1995 : proceedings / Wilhelm Schäfer, ed. by Series: Lecture notes in computer science ; 913.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, ©1995
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas (eds.). by Series: Lecture notes in computer science ; 1313.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • Industrial applications and strengthened foundations of formal methods
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Software process technology : second European workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings / J.C. Derniame, ed. by Series: Lecture notes in computer science ; 635.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1992
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
9.
10.
11.
FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran, eds. by Series: Lecture notes in computer science ; 873.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994
Other title:
  • Industrial benefit of formal methods
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 proceedings / A. Endres, H. Weber, (eds.). by Series: Lecture notes in computer science ; 509.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1991
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Software process technology : third European workshop, EWSPT '94, Villard de Lans, France, February 7-9, 1994 : proceedings / Brian C. Warboys, ed. by Series: Lecture notes in computer science ; 772.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha