Tips! Jämför butikernas bokpriser och spara pengar!
Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshiop on Higher Order Logic Theorem P (Ifip ... a, Computer Science and Technology, a-20)
IFIP TC10
Belgium) WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven
Luc J. M. Claesen
Michael J. C. Gordon
Interuniversity Micro-Electronics Center
Paperback. North-Holland 1993-06.
ISBN 9780444898807
Hitta bokens lägsta pris
Fler böcker av författarna
Formal Vlsi Correctness Verification: Vlsi Design Methods II
Hardcover
1990
Vlsi Design Methods
Hardcover
1990
Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design
Paperback
1992
Edinburgh LCF: A mechanised logic of computation
2006
Programming language theory and its implementation: Applicative and imperative paradigms
Paperback
2005
Liknande böcker
Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design
Paperback
2005
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993: 780
Paperback
2005
Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994
Paperback
2005
Logic for computer science: Foundations of automatic theorem proving
Paperback
2005
Design Methods and Applications for Distributed Embedded Systems: IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and ... in Information and Communication Technology)
Paperback
2005
Recensioner
Den här boken har tyvärr inte några recensioner ännu. Om du redan läst boken,
skriv en recension
!
Recensera boken
Skriv en recension och dela dina åsikter med andra. Försök att fokusera på bokens innehåll.
Läs våra instruktioner
för mer information.
Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshiop on Higher Order Logic Theorem P
Ditt betyg:
Skriv in en rubrik för din recension
(minst 2 ord):
Skriv in din recension i utrymmet nedan
(max 1000 ord):
Recensionens språk:
Svenska
Engelska
Ditt namn
(Valfritt):
Din e-postadress
(visas ej, används
endast
för verifiering):
Din recension kommer att visas inom fem till sju arbetsdagar.
Recensioner som inte följer våra
instruktioner
kommer inte att visas.
Bokrecensioner
»
Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshiop on Higher Order Logic Theorem P (Ifip ... a, Computer Science and Technology, a-20)
Kategorier
Barn & ungdom
Databöcker
Deckare
Ekonomi & affärer
Filosofi & religion
Geografi & geologi
Hem & hushåll
Historia
Hobby & fritid
Kultur
Medicin & hälsa
Naturvetenskap
Psykologi & pedagogik
Samhälle & politik
Skönlitteratur
Språk
Uppslagsverk & ordböcker
Bokrecensioner
|
Hjälp & support
|
Om oss