Logical Frameworks

Name: Logical Frameworks
Brand: Cambridge University Press
SKU: 2aaeebbab86b94e751d952e96f1e650f

1/1

Prices from

89.30

Featured

	£ 89.30	To Shop
	£ 89.30	To Shop

Description

Amazon Pages: 416, Hardcover, Cambridge University Press

Compare webshops (2)

Shop

Price

£ 89.30

To Shop

£ 89.30

To Shop

Description (1)

Brand	Cambridge University Press
EAN	9780521413008

Prices were last updated on: 09-06-2026, 00:56

Independently Published

LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

Independently Published

LSAT Test Prep 2026 2027: A Comprehensive Guide Featuring Practice Questions, Logical...

North-Holland

Logical Frameworks for Truth and Abstraction: An Axiomatic Study (Studies in Logic...

Featured Choice

£ 89.30

To Shop