Limit Search Results
Language
Material Type
Shelf Location
Library
2 Results Found Subscribe to search results
00DEFAULT
Print
Author 
Broy, Manfred. editor. Jonsson, Bengt. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. Pretschner, Alexander. editor.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies: