Modellierung, Spezifikation und korrekte Realisierung von asynchronen Systemen.
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | Almanca |
| Baskı/Yayın Bilgisi: |
Erlangen
1983
|
| Seri Bilgileri: | Arbeitsberichte des Instituts für mathematische Maschinen und Datenverarbeitung <Informatik>
Bd 16, Nr 7 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 1162097 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Mackert, Lothar | |
| 245 | 1 | 0 | |a Modellierung, Spezifikation und korrekte Realisierung von asynchronen Systemen. |
| 246 | 3 | |a MACKERT, Lothar: | |
| 264 | 1 | |a Erlangen |c 1983 | |
| 300 | |a 266 S.m.Abb. |c 8° | ||
| 490 | 0 | |a Arbeitsberichte des Instituts für mathematische Maschinen und Datenverarbeitung <Informatik> |v Bd 16, Nr 7 | |
| 500 | |a MACKERT, Lothar: -- Modellierung,Spezifikation und korrekte Reali- -- sierung von asynchronen Systemen. - Erlangen -- 1983. 266 S.m.Abb. 8° -- Erlangen-Nürnberg,techn.Diss.1983. -- (Arbeitsberichte des Instituts für mathemati- -- sche Maschinen und Datenverarbeitung<Informa- -- tik>.Bd 16,Nr 7.) -- 1984:4593. -- Web. | ||
| 852 | |c 78.308/16,7 | ||
| 999 | |a Dissertation | ||