Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology - Chapman - Kirjat - Chapman and Hall - 9780412837609 - sunnuntai 31. toukokuuta 1998
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology

Chapman

Hinta
NOK 2.359

Tilattu etävarastosta

Arvioitu toimitus pe 25. heinä - ma 4. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology

Discusses some of the key issues in programming concepts and methods, with an emphasis on formal specification, formal verification and mathematical foundations. This book covers a number of topics in this field, including compositional approaches to specification and verification, the design of verification support tools and more.

486 pages, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä sunnuntai 31. toukokuuta 1998
ISBN13 9780412837609
Tuottaja Chapman and Hall
Sivujen määrä 486
Mitta 156 × 234 × 26 mm   ·   870 g
Kieli English  
Toimittaja De Roever, Willem-paul
Toimittaja Gries, David
Näytä kaikki

Lisää tuotteita Chapman

Muutkin ovat ostaneet

Katso kaikki joka sisältää Chapman ( Esim. Book , Hardcover Book , Paperback Book Ja CD )