Theorem Proving in Higher Order Logics (e-bog) af -

Tahar, Sofiene (redaktør)

Theorem Proving in Higher Order Logics e-bog

436,85 DKK (inkl. moms 546,06 DKK)

E-bog 436,85 DKK

Kan læses i vores apps til iPhone/iPad og Android.

Forfattere Tahar, Sofiene (redaktør)

Forlag Springer

Udgivet 2 august 2003

Genrer Software Engineering

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783540456858

Beskrivelse