Բեռնվում է…
Software engineering with OBJ : Algebraic specification in action /
Պահպանված է:
| Այլ հեղինակներ: | , |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | English |
| Հրապարակվել է: |
Boston [etc] :
Kluwer Acad. Publ.,
2000.
|
| Շարք: | Advances in formal methods
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| LEADER | 00717nam a2200229 u 4500 | ||
|---|---|---|---|
| 001 | 000259872 | ||
| 003 | AM-YeHGA | ||
| 005 | 20210831122852.0 | ||
| 008 | 030909s2000 ||||||||r|||||000|0|eng|d | ||
| 020 | |a 0792386841 | ||
| 040 | |a AM-YEHGA |c AM-YeHGA | ||
| 245 | 0 | 0 | |a Software engineering with OBJ : |b Algebraic specification in action / |c Ed. by J. Goguen, G. Malcolm. |
| 260 | |a Boston [etc] : |b Kluwer Acad. Publ., |c 2000. | ||
| 300 | |a xxvi, 408 p. |b ill. | ||
| 440 | 0 | |a Advances in formal methods | |
| 504 | |a Includes bibliogr. references | ||
| 650 | 1 | 4 | |a Software engineering |
| 650 | 1 | 4 | |a Programming languages |
| 700 | 1 | |a Goguen, Joseph |4 edt | |
| 700 | 1 | |a Malcolm, Grant |4 edt | |
| 999 | |c 95172 | ||
| 952 | |o 681.3.06 |p 320111888 | ||