الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 4 /4
978-3-540-31714-2
FM 2005: Formal Methods

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...

اقرأ المزيد
978-3-540-37216-5
FM 2006: Formal Methods

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...

اقرأ المزيد
978-3-540-89330-1
Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...

اقرأ المزيد
978-3-540-34752-1
Unifying Theories of Programming

A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...

اقرأ المزيد
عدد الكتب: 1 - 4 /4