Summary goes here
Uloženo v:
| Médium: | Kniha |
|---|---|
| Jazyk: | angličtina |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | fdc8f17e-176c-409d-bd3b-4ffa329ccb68 |
| isbn | 0387940065 9780387940069 3540940065 9783540940067 |
| issn | |
| language | eng |
| physical | xiii, 250 pages ;25 cm. |
| publication | – publisher: SpringerVerlag dateOfPublication: ©1993 |
| publishDate | ©1993 |
| subjects | |
| title | Larch : languages and tools for formal specification / John V. Guttag, James J. Horning ; with S.J. Garland [and others]. |
| topic | Computer programming. Computer software Larch (Computer program language) computer programming. Computer programming. Computer software Larch (Computer program language) Computer programming Computer softwareDevelopment Larch (Computer program language) |