Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""Broy M"" wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-20 z 268
Tytuł:
Reconciling real-time with asynchronous message passing
Autorzy:
Broy, M.
Grosu, R.
Klein, C.
Pokaż więcej
Źródło:
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe Graz, Austria, September 15–19, 1997 Proceedings. 1313:182-200
Książka elektroniczna
Szczegóły
Tytuł:
Formal description techniques - how formal and descriptive are they?
Autorzy:
Broy, M.
Pokaż więcej
Źródło:
Formal Description Techniques IX : Theory, application and tools. :95-110
Książka elektroniczna
Szczegóły
Tytuł:
GOTOs — A Study in the Algebraic Specification of Programming Languages (Extended Abstract)
Autorzy:
Broy, M.
Dosch, W.
Möller, B.
Wirsing, M.
Pokaż więcej
Źródło:
GI — 11. Jahrestagung : In Verbindung mit Third Conference of the European Co-operation in Informatics (ECI) München, 20.–23. Oktober 1981 Proceedings. 50:109-121
Książka elektroniczna
Szczegóły
Tytuł:
Zur Spezifikation von Programmen für die Textverarbeitung
Autorzy:
Broy, M.
Pokaż więcej
Źródło:
Textverarbeitung und Informatik : Fachtagung der GI Bayreuth, 28. – 30. Mai 1980. 30:75-93
Książka elektroniczna
Szczegóły
Tytuł:
On relations between programs
Autorzy:
Broy, M.
Pepper, P.
Wirsing, M.
Pokaż więcej
Źródło:
International Symposium on Programming : Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980. 83:59-78
Książka elektroniczna
Szczegóły
Tytuł:
On the algebraic specification of nondeterministic programming languages
Autorzy:
Broy, M.
Wirsing, M.
Pokaż więcej
Źródło:
CAAP '81 : Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings. 112:162-179
Książka elektroniczna
Szczegóły
Tytuł:
Abstract data types as lattices of finitely generated models
Autorzy:
Wirsing, M.
Broy, M.
Pokaż więcej
Źródło:
Mathematical Foundations of Computer Science 1980 : Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980. 88:673-685
Książka elektroniczna
Szczegóły
Tytuł:
Examples for change of types and object structures
Autorzy:
Partsch, H.
Broy, M.
Pokaż więcej
Źródło:
Program Construction : International Summer School. 69:421-463
Książka elektroniczna
Szczegóły
Wyświetlanie 1-20 z 268

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies