Temporal Type Theory

Temporal Type Theory

Autor

Patrick Schultz David I. Spivak

Editura

Springer Nature Switzerland Ag

An publicare

2019

Nr. Pagini

235

ISBN

9783030007034

Categorii

Pentru Copii Adolescenti In Limbi Străine

SHARE

Descriere

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

Comandă Cartea

19^Lei

--^Lei

libhumanitas.ro

--^Lei

--^Lei

librariadelfin.ro

--^Lei

books-express.ro

--^Lei

--^Lei

--^Lei

--^Lei

Pe aceeași temă

Stefan Ungureanu Ant Generated Future

Ioana Marinescu

Migraine Surgery

Bahman Guyuron

SQL Server Advanced Data Types: Json, XML, and Beyond, Paperback/Peter A. Carter

Peter A. Carter

Dua for Cures: Physical and Spiritual Cures from Quran - Arabic Duas and Explanation in English & Urdu, Paperback/The Way of Islam Uk

The Way Of Islam Uk

The Temporal Jurisdiction of International Tribunals

Nick Gallus