Book
The Spec# Programming System: Challenges and Directions
| العنوان: | The Spec# Programming System: Challenges and Directions |
|---|---|
| المؤلفون: | Barnett, Mike, DeLine, Robert, Fähndrich, Manuel, Jacobs, Bart, Leino, K. Rustan M., Schulte, Wolfram, Venter, Herman |
| المصدر: | Verified Software: Theories, Tools, Experiments ; Lecture Notes in Computer Science ; page 144-152 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540691471 9783540691495 |
| بيانات النشر: | Springer Berlin Heidelberg |
| سنة النشر: | 2008 |
| نوع الوثيقة: | book part |
| اللغة: | unknown |
| ردمك: | 978-3-540-69147-1 978-3-540-69149-5 3-540-69147-2 3-540-69149-9 |
| DOI: | 10.1007/978-3-540-69149-5_16 |
| الاتاحة: | http://dx.doi.org/10.1007/978-3-540-69149-5_16 http://link.springer.com/content/pdf/10.1007/978-3-540-69149-5_16 |
| Rights: | http://www.springer.com/tdm |
| رقم الانضمام: | edsbas.680D474D |
| قاعدة البيانات: | BASE |
| ردمك: | 9783540691471 9783540691495 3540691472 3540691499 |
|---|---|
| DOI: | 10.1007/978-3-540-69149-5_16 |