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 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|