Handbook of process algebra
Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, con...
Άλλοι συγγραφείς: | Bergstra, J. A., Ponse, A. 1955-, Smolka, Scott A. |
---|---|
Μορφή: | Ηλεκτρονική πηγή |
Γλώσσα: | English |
Στοιχεία έκδοσης: |
Amsterdam ; New York :
Elsevier,
2001.
|
Έκδοση: | 1st ed. |
Θέματα: | |
Διαθέσιμο Online: |
http://www.sciencedirect.com/science/book/9780444828309 |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
καταχωρήστε σχόλιο πρώτοι!