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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Partial-Order Methods for the Verification of Concurrent Systems

Name: Partial-Order Methods for the Verification of Concurrent Systems
Brand: Springer, Berlin
SKU: 05274545
Price: 53.79 EUR
Availability: InStock
Author: Patrice Godefroid
ISBN: 9783540607618

An Approach to the State-Explosion Problem

Patrice Godefroid

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274545

Verlag Springer, Berlin, November 1995

This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege... Vollständige Beschreibung

Libristo-Code: 05274545

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

Broschur

6.99 €

Ve stopách papeže Františka Alvaro Grammatica

Broschur

5.19 €

Historias de Usera Sanzol

Broschur

20.79 €

A hobbit John Ronald Reuel Tolkien

Hardcover

15.29 €

Odpady s?u?by zdrowia, czynniki ryzyka i dezynfekcja Eduardo Mota

Broschur

37.29 €

MINIX Movies: Killer Klowns - Jumbo Spiel/Spielzeug

Spielzeug

9.89 €

Guide de conversation Italien 17ed Lonely Planet

Broschur

11.69 €

Amigurumi Pen Friends - Süße Tiere für Stifte, Federmäppchen und Co. häkeln Elham Ghasemi

Hardcover

11.00 €

This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work is to turn logical and semantic ideas into exploitable algorithms.

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 Partial-Order Methods for the Verification of Concurrent Systems

Autor Patrice Godefroid

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1996

Anzahl der Seiten 143

EAN 9783540607618

ISBN 3540607617

Libristo-Code 05274545

Verlag Springer, Berlin

Gewicht 240

Abmessungen 156 x 234 x 8

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

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