wyszukanych pozycji: 2
![]() |
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
ISBN: 9783540438571 / Angielski / Miękka / 2002 / 263 str. Termin realizacji zamówienia: ok. 20 dni roboczych. ThisvolumecontainstheproceedingsofMPC2002, thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs (whether implemented in hardware or software). The focus is ontechniquesthatcombineprecisionwith conciseness, enablingprogramsto be constructed by formal calculation. Within this theme, the scope of the series is verydiverse, including programmingmethodology, programspeci?cationand transformation,...
ThisvolumecontainstheproceedingsofMPC2002, thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promot...
|
cena:
193,19 zł |
![]() |
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
ISBN: 9783540213772 / Angielski / Miękka / 2004 / 548 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4 7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110...
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4 7 April 2004. The confe...
|
cena:
193,19 zł |