{"title":"Patrick Schultz","description":null,"products":[{"product_id":"temporal-type-theory-book-patrick-schultz-9783030007034","title":"Temporal Type Theory","description":"This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51064343593233,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51064346181905,"sku":"NIN9783030007034","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52666123059473,"sku":"NLS9783030007034","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":54279939358993,"sku":"CIN3030007030G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030007030.jpg?v=1786028994"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-patrick-schultz.oembed","provider":"World of Books ","version":"1.0","type":"link"}