Több mint 4 millió cím angol és más nyelveken! Fedezd fel új történetedet még ma!

Temporal Logic of Programs

Name: Temporal Logic of Programs
Brand: Springer, Berlin
SKU: 9783642715518
Price: 18699 HUF
Availability: InStock

Szerző: Fred Kroger

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

18 699 Ft

Introduction to the temporal logic of - in particular paral-§lel - programs.Divided into three main...

Információk a könyvről

Szerző

Fred Kroger

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2011

oldal

EAN

9783642715518

ISBN

9783642715518

Enbook ID

06624859

Kiadó

Springer, Berlin

Súly

288

Méretek

170 x 244 x 8

Teljes leírás

Introduction to the temporal logic of - in particular paral-§lel - programs.Divided into three main parts: - Presenta-§tion of the pure temporal logic: language, semantics, and§proof theory; - Representation of programs and their proper-§ties within the language of temporal logic; - Application of§the logical apparatus to the verification of program proper-§ties including a new embedding of Hoare's logic into the§temporal framework.