Search done, now sorting ..
TITLE
SORT
- change title size: 16 +
AUTHOR
SORT
- change author size: 16 +
DESCRIPTION
- change description size: 16 +
Carreno Victor A. Editor; Munoz Cesar A. Editor; Tahar Sofiene Editor;
-
author size: 16
+
USD
46.99
-
price size: 16
+
GuthrieBooks /Biblio
-
dealer size: 16
+
Springer, Date: 2002-09-17. Paperback. Very Good. 8x0x11. Ex-library paperback in very nice condition with the usual markings and attachments. 2002. Springer ISBN 3540440399 9783540440390 [US]
-
description size: 16
+
Carreno, Victor A. [Editor]; Munoz, Cesar A. [Editor]; Tahar, Sofiene [Editor];
GuthrieBooks via Alibris /Alibris
Springer 2002-09-17 2002 ed. Paperback Very Good Size: 8x0x11; Ex-library paperback in very nice condition with the usual markings and attachments.
Carreno, Victor A. [Editor]; Munoz, Cesar A. [Editor]; Tahar, Sofiene [Editor];
GuthrieBooks /Abebooks
ISBN10: 3540440399, ISBN13: 9783540440390, [publisher: Springer] Softcover Ex-library paperback in very nice condition with the usual markings and attachments. [Spring Branch, TX, U.S.A.] [Publication Year: 2002]
Carreno, Victor A (Editor), and Munoz, Cesar A (Editor), and Tahar, Sofiene (Editor)
Alibris /Alibris
Berlin, Heidelberg Springer 2002 2002 ed. Trade paperback New. Trade paperback (US). Glued binding. 347 p. Lecture Notes in Computer Science, 2410.
N/A
booksXpress /Abebooks
ISBN10: 3540440399, ISBN13: 9783540440390, [publisher: Springer] Softcover
[Bayonne, NJ, U.S.A.] [Publication Year: 2002]
Show/Hide image
Victor A. Carreno
AHA-BUCH GmbH /ZVAB
ISBN10: 3540440399, ISBN13: 9783540440390, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - Thisvolumecontainstheproceedingsofthe 15th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs2002)heldon20 23August 2002inHampton,Virginia,USA. Theconferenceservesasavenueforthep- sentationofworkintheoremprovinginhigher-orderlogics,andrelatedareas indeduction,formalspeci cation,softwareandhardwareveri cation,andother applications. Eachofthe34paperssubmittedinthefullresearchcategorywasrefereedby atleastthreereviewersfromtheprogramcommitteeorbyareviewerappointed bytheprogramcommittee. Ofthesesubmissions,20paperswereacceptedfor presentationattheconferenceandpublicationinthisvolume. Followingawell-establishedtraditioninthisconferenceseries,TPHOLs2002 alsoo eredavenueforthepresentationofworkinprogress. Fortheworkin progresstrack,shortintroductorytalksweregivenbyresearchers,followedby anopenpostersessionforfurtherdiscussion. Papersacceptedforpresentation inthistrackhavebeenpublishedasConferenceProceedingsCPNASA-2002- 211736. TheorganizerswouldliketothankRickyButlerandG erardHuetforgra- fullyacceptingourinvitationtogivetalksatTPHOLs2002. RickyButlerwas instrumentalintheformationoftheFormalMethodsprogramattheNASA LangleyResearchCenterandhasledthegroupsinceitsbeginnings. TheNASA LangleyFormalMethodsgroup,underRickyButler sguidance,hasfunded, beeninvolvedin,orin uencedmanyformalveri cationprojectsintheUSover morethan ...
Show/Hide image
N/A
Lucky's Textbooks /Abebooks
ISBN10: 3540440399, ISBN13: 9783540440390, [publisher: Springer] Softcover [Dallas, TX, U.S.A.] [Publication Year: 2002]
Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)
GreatBookPrices /Abebooks
ISBN10: 3540440399, ISBN13: 9783540440390, [publisher: Springer] Softcover
[Columbia, MD, U.S.A.] [Publication Year: 2002]
Show/Hide image
Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)
GreatBookPricesUK /AbebooksUK
ISBN10: 3540440399, ISBN13: 9783540440390, [publisher: Springer] Softcover
[Castle Donington, DERBY, United Kingdom] [Publication Year: 2002]
Show/Hide image
Victor A. Carreno
AHA-BUCH GmbH /AbebooksDE
ISBN10: 3540440399, ISBN13: 9783540440390, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - Thisvolumecontainstheproceedingsofthe 15th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs2002)heldon20 23August 2002inHampton,Virginia,USA. Theconferenceservesasavenueforthep- sentationofworkintheoremprovinginhigher-orderlogics,andrelatedareas indeduction,formalspeci cation,softwareandhardwareveri cation,andother applications. Eachofthe34paperssubmittedinthefullresearchcategorywasrefereedby atleastthreereviewersfromtheprogramcommitteeorbyareviewerappointed bytheprogramcommittee. Ofthesesubmissions,20paperswereacceptedfor presentationattheconferenceandpublicationinthisvolume. Followingawell-establishedtraditioninthisconferenceseries,TPHOLs2002 alsoo eredavenueforthepresentationofworkinprogress. Fortheworkin progresstrack,shortintroductorytalksweregivenbyresearchers,followedby anopenpostersessionforfurtherdiscussion. Papersacceptedforpresentation inthistrackhavebeenpublishedasConferenceProceedingsCPNASA-2002- 211736. TheorganizerswouldliketothankRickyButlerandG erardHuetforgra- fullyacceptingourinvitationtogivetalksatTPHOLs2002. RickyButlerwas instrumentalintheformationoftheFormalMethodsprogramattheNASA LangleyResearchCenterandhasledthegroupsinceitsbeginnings. TheNASA LangleyFormalMethodsgroup,underRickyButler sguidance,hasfunded, beeninvolvedin,orin uencedmanyformalveri cationprojectsintheUSover morethan ...
Show/Hide image
Victor A. Carreno
Ria Christie Collections /Biblio
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings. ISBN 3540440399 9783540440390 [GB]
Carreno, Victor A (Editor), and Munoz, Cesar A (Editor), and Tahar, Sofiene (Editor)
ShopSpell via Alibris /Alibris
Berlin, Heidelberg Springer 2002 2002 ed. Trade paperback New. Trade paperback (US). Glued binding. 347 p. Lecture Notes in Computer Science, 2410.
Victor A. Carreno
The Saint Bookstore /Biblio
Paperback / softback. New. Constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics held in the USA in 2002. The 20 papers cover issues in HOL theorem proving and formal verification of software and hardware systems, evaluating Isabelle/HOL, Isabelle/Isar and Coq. ISBN 3540440399 9783540440390 [GB]
Carreno, Victor A (Editor), and Munoz, Cesar A (Editor), and Tahar, Sofiene (Editor)
Bonita via Alibris /Alibris
Springer 2002 2002 ed. paperback Good Access codes and supplements are not guaranteed with used items. May be an ex-library book.
N/A
Kennys Bookshop and Art Galleries Ltd. /Abebooks
ISBN10: 3540440399, ISBN13: 9783540440390, [publisher: Springer] Softcover [Galway, GY, Ireland] [Publication Year: 2002]
N/A
Kennys Bookstore /Abebooks
ISBN10: 3540440399, ISBN13: 9783540440390, [publisher: Springer] Softcover [Olney, MD, U.S.A.] [Publication Year: 2002]
N/A
dsmbooks /AbebooksUK
ISBN10: 3540440399, ISBN13: 9783540440390, [publisher: Springer] Softcover New [liverpool, United Kingdom] [Publication Year: 2002]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.