Kirjojen hintavertailu. Mukana 11 093 209 kirjaa ja 11 kauppaa.
Kansikuva: B 2007: Formal Specification and Development in B

B 2007: Formal Specification and Development in B

7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Info

Kirjan B 2007: Formal Specification and Development in B (2006) tekijä ei ole tiedossa. Kirjan kieli on englanti, ja sen on kustantanut Springer-Verlag Berlin and Heidelberg GmbH Co. K. Kirja on laajuudeltaan 297 sivua ja se on nidottu.

Kuvaus

TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan¸ con in the east of France. This conference was built on the success of the previous six conferences in this series, B 1996, held at the University of Nantes, France; B 1998, held at the University of Montpellier, France; ZB 2000, held at the University of York, UK; ZB 2002, held at the University of Grenoble, France; ZB 2003, held at the U- versity of Turku, Finland; ZB 2005 held at the University of Surrey, Guildford, UK. B 2007 was held in January at the University of Franche-Comt´ e,Besan¸ con, France, hosted by the Computer Science Department (LIFC). LIFC has always placed particular emphasis on the applicability of its research and its relati- ship with industrial partners. In this context, it created in 2003 a company called LEIRIOS Technologies, which produces an automatic test generator tool (LTG) frommodels described in the B speci? cationlanguage. Other members of LIFC work on extensions of the B method for specifying and verifying dynamic properties. All the submitted papers in these proceedings were peer reviewed by at least three reviewers drawn from the B committee, depending on the subject matter of the paper. The authorsof the papersforB 2007werefrom Australia,Canada, Finland, Germany, France, Switzerland, and the UK. The conference featured a rangeof contributions by distinguished invited speakers drawn from both ind- try and academia.

Tuotetiedot

ISBN 9783540687603
Kustantaja Springer-Verlag Berlin and Heidelberg GmbH Co. K
Julkaistu 14.12.2006
Formaatti nidottu
Kieli englanti
Sivumäärä 297
Paino 310g
Otsikko B 2007: Formal Specification and Development in B

Hintavertailu: B 2007: Formal Specification and Development in B

Tarkastamme hinnat 11 eri kirjakaupasta.

Emme päivittäneet kirjan hintoja automaattisesti, koska verkkoliikenteesi tulee Suomen ulkopuolelta tai vaikuttaa epätavalliselta.

Kauppa
Adlibris
Haetaan hintaa...
Booky
Haetaan hintaa...
Kirja.fi
Haetaan hintaa...
Suomalainen
Haetaan hintaa...
Akateeminen Kirjakauppa
Haetaan hintaa...
Kansallinen Kirjakauppa
Haetaan hintaa...
Prisma
Haetaan hintaa...
Rosebud
Haetaan hintaa...
Finlandia Kirja
Haetaan hintaa...
Vinhan kirjakauppa
Haetaan hintaa...
Libristo
Haetaan hintaa...

Tällä hetkellä 0 kirjakauppaa myy teosta B 2007: Formal Specification and Development in B. Edullisin hinta toimitettuna on —, mikä on — halvempi kuin kallein tarjous.

Hintoja ei ole vielä päivitetty.

Hintahälytys

Saat sähköpostin, kun hinta on sama tai alittaa asettamasi hinnan.

Sisältääkö hinta toimituskulut?

Hintahistoria

Kirja.infon hintahistorian halvin hinta kirjalle B 2007: Formal Specification and Development in B viimeisen 90 päivän aikana:

Hintahistoriaa ei ole vielä kerätty tälle kirjalle.

Tätä hintavertailleet katsoivat myös näitä