Rezultaty
1 - 3
Rezultaty od
3
Dla wyszukiwania '
'
Przejdź do treści
Toggle navigation
VuFind
Konto czytelnika
Logout
Login
Język
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Wszystkie pola
Tytuł
Autor
Hasło przedmiotowe
Sygnatura
ISBN / ISSN
Etykieta
Szukaj
Wyszukiwanie zaawansowane
Usuń filtry
Sygnatura:
Q - Nauka
Format:
Materiały konferencyjne
Gatunek:
Electronic resources (Books)
Autor:
VDM-Europe
Usuń filtry
Pokaż filtry (4)
Sygnatura:
Q - Nauka
Format:
Materiały konferencyjne
Gatunek:
Electronic resources (Books)
Autor:
VDM-Europe
Rezultaty
Podobne hasła w twoim wyszukiwaniu.
Podobne hasła w twoim wyszukiwaniu.
Computer software
3
Congrès
3
Development
3
Développement
3
Logiciels
3
Computer software industry
1
Congresses
1
Więcej ...
Industrie
1
Mniej ...
Rezultaty
1 - 3
Rezultaty od
3
Dla wyszukiwania '
'
, Czas wyszukiwania: 0,10s
Redukuj rezultaty
Sortuj
Ważność
Według najnowszych
Według najstarszych
Sygnatura
Autor
Tytuł
1
VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /
Berlin ; New York : Springer-Verlag, 1990
Sygnatura:
Ładuje się......
Zlokalizowane:
Ładuje się......
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Materiały konferencyjne
Książka
2
VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /
Berlin ; New York : Springer-Verlag, 1987
Sygnatura:
Ładuje się......
Zlokalizowane:
Ładuje się......
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Materiały konferencyjne
Książka
3
VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /
Berlin ; New York : Springer-Verlag, 1990
Sygnatura:
Ładuje się......
Zlokalizowane:
Ładuje się......
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Materiały konferencyjne
Książka
Narzędzie wyszukiwania:
Abonuj RSS
—
Wyślij rezultaty emailem
—
Zapisz wyszukiwanie
z powrotem
Redukuj rezultaty
Instytucja
West Virginia University
3
Lehigh University
1
Villanova University
1
Format
Książka
3
Materiały konferencyjne
Sygnatura
Q - Nauka
Autor
Bjørner, D. (Dines), 1937-
3
VDM-Europe
Hoare, C. A. R. (Charles Antony Richard), 1934-
2
Langmaack, Hans
2
VDM '90 Kiel, Germany
2
VDM '87 Brussels, Belgium
1
Język
English
3
Gatunek
Conference papers and proceedings
3
Congresses
3
Congrès
3
Electronic resources (Books)
Region
European Economic Community countries
1
Pays de l'Union européenne
1
Rok wydania
od:
do:
Ładuje się......