Temporal Type Theory

Autor

Patrick Schultz David I. Spivak

Editura

An publicare

2019

Nr. Pagini

235

ISBN

9783030007034

Categorii

Pentru Copii Adolescenti In Limbi Străine

Descriere

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.

19^Lei

carturesti.ro

--^Lei

libhumanitas.ro

--^Lei

cartepedia.ro

--^Lei

librariadelfin.ro

--^Lei

books-express.ro

--^Lei

libris.ro

--^Lei

librex.ro

--^Lei

curteaveche.ro

--^Lei

litera.ro

Ioana Marinescu

Bahman Guyuron

Peter A. Carter

The Way Of Islam Uk

Nick Gallus