Specification and correct implementation of nonsequential systems combining abstract data types and petri nets / H. W. Schmidt
Abstract data types
Saved in:
| Personal Name(s): | Schmidt, H. W. |
|---|---|
| Imprint: |
Sankt-Augustin :
Gesellschaft fuer Mathematik und Datenverarbeitung,
1989
|
| Physical Description: |
IX, 206 S. |
| Note: |
englisch |
| ISBN: |
3486212923 9783486212921 |
| Series Title: |
GMD-Bericht ;
176 |
| Classification: |
| LEADER | 01220nam a2200349 n 4500 | ||
|---|---|---|---|
| 001 | 127732 | ||
| 005 | 19970609000000.0 | ||
| 008 | r1989 eng | ||
| 020 | |a 3486212923 | ||
| 035 | |a (Sirsi) a113544 | ||
| 041 | |a eng | ||
| 084 | 0 | |a MDF - Formal languages, coding theory | |
| 245 | 0 | 0 | |a Specification and correct implementation of nonsequential systems combining abstract data types and petri nets / |c H. W. Schmidt |
| 260 | |a Sankt-Augustin : |b Gesellschaft fuer Mathematik und Datenverarbeitung, |c 1989 | ||
| 300 | |a IX, 206 S. | ||
| 490 | 0 | |a GMD-Bericht ; |v 176 | |
| 500 | |a englisch | ||
| 520 | |a Abstract data types | ||
| 520 | |a Algebraic specification | ||
| 520 | |a Conditional specification | ||
| 520 | |a Implementation | ||
| 520 | |a Initial semantics | ||
| 520 | |a Partial algebras | ||
| 520 | |a Predicate events nets | ||
| 596 | |a 1 | ||
| 700 | 1 | |a Schmidt, H. W. | |
| 710 | 2 | |a Gesellschaft für Mathematik und Datenverarbeitung (Sankt Augustin) | |
| 710 | 2 | |a Universität (Bremen) | |
| 900 | |a S 001113-0176'01' | ||
| 908 | |a Hochschulschrift | ||
| 908 | |a Bericht, Gutachten | ||
| 949 | |a S 001113-0176'01' |w LC |c 1 |i 1089200198 |l STACKS |m ZB |r Y |s Y |t ZBHS |u 25/3/2009 |x ZB-M |1 PRINT |2 HS | ||