Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Temporal Logic of Programs

Name: Temporal Logic of Programs
Brand: Springer, Berlin
SKU: 06624859
Price: 52.69 EUR
Availability: InStock
Author: Fred Kroger
ISBN: 9783642715518

Fred Kroger

Sprache

Englisch

Buch Broschur

Libristo-Code: 06624859

Verlag Springer, Berlin, November 2011

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

Libristo-Code: 06624859

129 b

52.69 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Coelln an der Spree Hansj Rgen Vahldiek

Broschur

12.00 €

Casa magica del arbol 5/La noche de los guerreros Ninja Mary Pope Osborne

Broschur

10.09 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Temporal Logic of Programs

Autor Fred Kroger

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 8

EAN 9783642715518

ISBN 9783642715518

Libristo-Code 06624859

Verlag Springer, Berlin

Gewicht 288

Abmessungen 170 x 244 x 8

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert