eBook, PDF

Logic and Algebra of Specification (eBook, PDF)

Versandkostenfrei!

Sofort per Download lieferbar

112,95 €

inkl. MwSt.

Jetzt bewerten

Alle Infos zum eBook verschenken

Weitere Ausgaben:

Broschiertes Buch

PAYBACK Punkte

56 °P sammeln!

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.

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.