Program development by specification and transformation : The PROSPECTRA methodology, language family, and system
Mentés helye:
Közreműködő(k): | |
---|---|
Formátum: | könyv |
Nyelv: | angol |
Megjelenés: |
Berlin [etc.] : Springer,
1993
|
Sorozat: | Lecture notes in computer science ; 680 |
Tárgyszavak: | |
Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
id |
opac-EUL01-000336772 |
---|---|
institution |
L_042 EUL01 |
spelling |
Program development by specification and transformation The PROSPECTRA methodology, language family, and system eds. Berthold Hoffmann, Bernd Krieg-Brückner Berlin [etc.] Springer cop. 1993 XIV, 623 p. ill. 24 cm Lecture notes in computer science 680 könyv Computer software Development EUL10000332281 Y szoftverfejlesztés EUL10000332283 Y Hoffmann, Berthold EUL10000437929 Y Krieg-Brückner, B. EUL10000171692 Y Lecture notes in computer science EUL10000129755 Y LNCS EUL10000129755 N EUL01 |
language |
English |
format |
Book |
author2 |
Hoffmann, Berthold Krieg-Brückner, B. |
author_facet |
Hoffmann, Berthold Krieg-Brückner, B. |
author_sort |
Hoffmann, Berthold |
title |
Program development by specification and transformation : The PROSPECTRA methodology, language family, and system |
spellingShingle |
Program development by specification and transformation : The PROSPECTRA methodology, language family, and system Lecture notes in computer science ; 680 Computer software -- Development szoftverfejlesztés |
title_sub |
The PROSPECTRA methodology, language family, and system |
title_short |
Program development by specification and transformation |
title_full |
Program development by specification and transformation The PROSPECTRA methodology, language family, and system eds. Berthold Hoffmann, Bernd Krieg-Brückner |
title_fullStr |
Program development by specification and transformation The PROSPECTRA methodology, language family, and system eds. Berthold Hoffmann, Bernd Krieg-Brückner |
title_full_unstemmed |
Program development by specification and transformation The PROSPECTRA methodology, language family, and system eds. Berthold Hoffmann, Bernd Krieg-Brückner |
title_auth |
Program development by specification and transformation The PROSPECTRA methodology, language family, and system |
title_sort |
program development by specification and transformation the prospectra methodology language family and system |
series |
Lecture notes in computer science ; 680 |
series2 |
Lecture notes in computer science LNCS |
publishDate |
1993 |
publishDateSort |
1993 |
physical |
XIV, 623 p. : ill. ; 24 cm |
isbn |
3-540-56733-X 0-387-56733-X |
callnumber-raw |
9233 |
callnumber-search |
9233 |
topic |
Computer software -- Development szoftverfejlesztés |
topic_facet |
Computer software -- Development szoftverfejlesztés Computer software szoftverfejlesztés Development |
illustrated |
Illustrated |
first_indexed |
2023-07-17T20:22:55Z |
last_indexed |
2023-07-31T04:03:56Z |
recordtype |
opac |
publisher |
Berlin [etc.] : Springer |
_version_ |
1772899833735020545 |
score |
13,375403 |