Fortæl dine venner om denne vare:
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28-july 2, 1993 - Proceedings - Lecture Notes in Computer Science
Dines Bjorner
Pris
R$ 391,13
Bestilles fra fjernlager
Forventes klar til forsendelse 24. - 30. okt.
Tilføj til din iMusic ønskeseddel
eller
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28-july 2, 1993 - Proceedings - Lecture Notes in Computer Science
Dines Bjorner
This volume contains the papers selected for presentation at an international conference organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences. Topics discussed include semantics, software specification and program logic.
438 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 5. oktober 1993 |
| ISBN13 | 9783540573166 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 438 |
| Mål | 156 × 234 × 23 mm · 625 g |
| Sprog | Tysk |
| Klipper/redaktør | Bjorner, Dines |
| Klipper/redaktør | Broy, Manfred |
| Klipper/redaktør | Pottosin, Igor V. |
![Cover for Dines Bjorner · Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Bog) [Softcover reprint of hardcover 1st ed. 2008 edition] (2010)](https://imusic.b-cdn.net/images/item/original/456/9783642093456.jpg?dines-bjorner-2010-logics-of-specification-languages-monographs-in-theoretical-computer-science-an-eatcs-series-paperback-bog&class=scaled&v=1461100568)
![Cover for Dines Bjorner · Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series (Paperback Bog) [Softcover reprint of hardcover 1st ed. 2006 edition] (2010)](https://imusic.b-cdn.net/images/item/original/391/9783642059391.jpg?dines-bjorner-2010-software-engineering-1-abstraction-and-modelling-texts-in-theoretical-computer-science-an-eatcs-series-paperback-bog&class=scaled&v=1408461347)
![Cover for Dines Bjorner · Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series (Paperback Bog) [Softcover reprint of hardcover 1st ed. 2006 edition] (2010)](https://imusic.b-cdn.net/images/item/original/407/9783642059407.jpg?dines-bjorner-2010-software-engineering-2-specification-of-systems-and-languages-texts-in-theoretical-computer-science-an-eatcs-series-paperback-bog&class=scaled&v=1408461347)
![Cover for Dines Bjorner · Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover bog) [2008 edition] (2007)](https://imusic.b-cdn.net/images/item/original/060/9783540741060.jpg?dines-bjorner-2007-logics-of-specification-languages-monographs-in-theoretical-computer-science-an-eatcs-series-hardcover-bog&class=scaled&v=1461100568)
![Cover for Dines Bjorner · Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series (Hardcover bog) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/501/9783540211501.jpg?dines-bjorner-2006-software-engineering-2-specification-of-systems-and-languages-texts-in-theoretical-computer-science-an-eatcs-series-hardcover-bog&class=scaled&v=1461100568)
![Cover for Dines Bjorner · Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series (Hardcover bog) [2006 edition] (2005)](https://imusic.b-cdn.net/images/item/original/495/9783540211495.jpg?dines-bjorner-2005-software-engineering-1-abstraction-and-modelling-texts-in-theoretical-computer-science-an-eatcs-series-hardcover-bog&class=scaled&v=1461100568)
