Del 9463
Recent Trends in Algebraic Development Techniques
Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu
Häftad
429 kr
Del i serien Studies in Universal Logic
1 483 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics.
Produktinformation
Utforska kategorier
Mer om författaren
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Del 6
Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification
Razvan Diaconescu, Kokichi Futatsugi
Inbunden
690 kr
