wyszukanych pozycji: 2
Zb 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, Uk, April 13-15, 2005, Proceedings
ISBN: 9783540255598 / Angielski / Miękka / 2005 / 496 str. Termin realizacji zamówienia: ok. 20 dni roboczych. These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuiltonthesuccessofthepreviousthreeconferences in this series, ZB 2000, held at the University of York in the UK, ZB 2002, held at theLaboratoire Logiciels Syst' emes R' eseaux within theInstitut d'Informatique et Math' ematique Appliqu' ees de Grenoble (LSR-IMAG) in Grenoble, France, and ? ZB 2003, held in Turku in Finland hosted by Abo Akademi University and the TurkuCentreforComputerScience(TUCS)....
These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the sou...
|
|
cena:
386,41 zł |
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
ISBN: 9783642307287 / Angielski / Miękka / 2012 / 360 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012.
Constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012.
|
|
cena:
193,19 zł |