|
|
|
Logic and Algebra of Specification
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
| Lieferstatus: |
 i.d.R. innert 7-14 Tagen versandfertig |
| Veröffentlichung: |
Juli 1993
|
| Genre: |
Schulbücher |
| ISBN: |
9783540558132 |
|
EAN-Code:
|
9783540558132 |
| Verlag: |
Springer |
| Einband: |
Gebunden |
| Sprache: |
English
|
| Dimensionen: |
H 241 mm / B 160 mm / D 29 mm |
| Gewicht: |
846 gr |
| Seiten: |
456 |
| Bewertung: |
Titel bewerten / Meinung schreiben
|
| Inhalt: |
| This NATO volume presents a selection of leading research aimed at giving a foundation for combining logic and algebra for the purpose of specification under the aspects of automated deduction, proving techniques, concurrency and logic, abstract data types and operational semantics, and constructive methods. |
|
Newsfeed | 
Facebook | 
Twitter
