Specification of software systems

other_versions_link
מידע ביבליוגרפי
מחבר ראשי: Alagar, V S
מחברים אחרים: Periyasamy, K
פורמט: Printed Book
שפה:English
יצא לאור: London Springer 2011
מהדורה:2nd ed.
נושאים:
Software specification
Logic
Temporal Logic
תיאור
תיאור פיזי:xxv, 644p.
ISBN:9780857292766

פריטים דומים