Kataloge der Universitäten Graz, Linz, Bratislava und Innsbruck
Digitalisierte Bibliothekskataloge
 | DE | EN | SK | SR-LAT | SR-KYR |
Zur Startseite | eBook bestellen About | Kontakt
Zur Startseite Zur Überblicksseite


Alphabetische Ordnung:
-25 . . . . -20 . . . . -15 . . . . -10 . . . . -5 . . . -1 +1 . . . +5 . . . . +10 . . . . +15 . . . . +20 . . . . +25


>> Zur Überblicksseite
>> Detailansicht des Kärtchens
>> Link eintragen
>> Helfen Sie diesen Eintrag zu verbessern

MATHEMATICAL y$ o 17 MATHEMATICAL METHODS OF 8PECIFICATI0N AND 8YNTHE8X8 OF SOFTWARE SYSTEMS »85 , PROCEEDINÖS OF THE INTERNATIONAL SPRING SCHOOLfHELD IN HEND!SCH»R!ETZ (GOR) , AP« RIL 22 - 26 , 1985 , ED . BY WOLFGANG BIBEL , KLAUS P . JANTKE , BERLIN , AKADEMIE«VERL , 198»' . 2«5 8' , MATHEMATICAL RESEARCH/ MATHEMATISCHE FORSCHUNG , BD . 31 , R07 . MN , K8 3546/86 ISBN 3«65*506018«6