Algebraic specifications in an integrated software development and verification system.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | inglés |
| Publicado: |
Kaiserslautern
1986
|
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 3026605 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Voß, Angelika | |
| 245 | 1 | 0 | |a Algebraic specifications in an integrated software development and verification system. |
| 246 | 3 | |a Voss, Angelika | |
| 264 | 1 | |a Kaiserslautern |c 1986 | |
| 300 | |a VII, 394 S. |c 8° | ||
| 500 | |a Voss, Angelika -- Voß, Angelika: Algebraic specifications in -- an integrated software development and veri- -- fication system. -- 1986. VII, 394 S. 8° -- Kaiserslautern, Univ., FB Informatik, Diss. -- v. 1985 | ||
| 852 | |c D 207.672 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: Voss AngelikaVoß, Angelika: Algebraic specifIcations inan integratei Software developrcent and verificat.ion System.1986. VII, 394 S. 8Kaiserslautern, Univ., FB Informatik, Dies,v. 1985 |a signature: D 207.672 |a published: 1985 | ||