Jacques Julliand & Olga Kouchnarenko 
B 2007: Formal Specification and Development in B [PDF ebook] 
7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

الدعم

Theseproceedingsrecordthepaperspresentedatthe Seventh International C- 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...

قراءة المزيد
€57.90
طرق الدفع
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● ISBN 9783540687610 ● محرر Jacques Julliand & Olga Kouchnarenko ● الناشر Springer Berlin Heidelberg ● نشرت 2006 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6319688 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

16٬834 كتب إلكترونية في هذه الفئة