تدوين زد: الفرق بين النسختين
| [مراجعة غير مفحوصة] | [مراجعة غير مفحوصة] |
تم حذف المحتوى تمت إضافة المحتوى
ط بوت:إزالة تصنيف معادل لم يعد موجود في الصفحة الإنجليزية (1) إزالة (تصنيف:اختراعات 1977) |
Mr.Ibrahembot (نقاش | مساهمات) ط بوت:إزالة قالب:Ill-WD2 من وصلة زرقاء |
||
سطر 40:
}}
* {{مرجع كتاب
| المؤلف =
| العنوان = Formal Specification and Documentation using Z: A Case Study Approach
| سنة = 1996
سطر 58:
== وصلات خارجية ==
;عام
* [http://formalmethods.wikia.com/wiki/Z The World Wide Web Virtual Library: The Z notation], by
* [http://www.cs.york.ac.uk/hise/Zstandard/ Specification proposals by Ian Toyn]
* [http://www.w3.org/TR/wsdl20/wsdl20-z.html W3C WSDL 2.0] a specification containing Z notation assertions and explanation
| |||