Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540425250
Price: 214.72 PLN
Availability: InStock

14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Autor: Richard J. Boulton, Paul B. Jackson

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.72 zł

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Th...

Informacje o książce

Autor

Richard J. Boulton, Paul B. Jackson

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2001

strony

402

EAN

9783540425250

ISBN

354042525X

Enbook ID

01563734

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

1270

Wymiary

155 x 233 x 23

Pełny opis

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh, Scotlang, UK in September 2001. The 23 revised full papers presented together with one invited paper and two invited abstracts were carefully reviewed and selected from a total of 47 submissions. All current issues in HOL theorem proving and formal verification of hardware and software systems are addressed. Among the HOL theorem proving systems evaluated are Coq, HOL, Isabelle, and PVS.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Theorem Proving in Higher Order Logics

14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również