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 :-(

Type And Effect Systems: Behaviours For Concurrency

Name: Type And Effect Systems: Behaviours For Concurrency
Brand: Imperial College Press
SKU: 05121556
Price: 107.69 EUR
Availability: InStock
Author: Torben Amtoft
ISBN: 9781860941542

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05121556

Verlag Imperial College Press, März 1999

Presents and develops current validation techniques for detecting safety violations. The focus of th... Vollständige Beschreibung

Libristo-Code: 05121556

264 b

107.69 € inkl. MwSt.

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Medicina psicosomatica e psicologia clinica. Modelli teorici, diagnosi, trattamento Piero Porcelli

Broschur

45.89 €

Glück, dein Name ist Katze Julia Gerigk

Broschur

4.79 €

EL CLUB DE LOS HERMANOS MAYORES BERROCAL

Buch

10.89 €

Domáce precvičovanie matematika 5.ročník Šulc Petr

Broschur

3.89 €

Depeche Mode – Kompletní příběh Andy Jones

Broschur

11.19 €

Fränkisches Seenland 1:100 000 Landesamt für Digitalisierung

Karte

8.70 €

Учебник генетики микроо& Rupal Cengar

Broschur

26.19 €

Acariciando el alma Vidal Martínez

Broschur

16.99 €

Wojenka. O dzieciach, które dorosły bez ostrzeżenia Magdalena Grzebałkowska

Hardcover

11.39 €

La Guerra de Los Mundos Herbert George Wells

Broschur

15.49 €

Mozart Para O Contrabaixo: 10 Pe Easy Classical Masterworks

Broschur

9.79 €

Trötsch Plüschpuppe Findus Kuscheltier Trötsch Verlag

Spielzeug

12.95 €

Familia Ba Jin

Broschur

25.69 €

Histoire Du Gouvernement Provisoire (2e Ed.) Regnault-E

Broschur

27.69 €

Lettres de Madame de Sevigne, de Sa Famille Et de Ses Amis. Tome 7 Madame De Sevigne

Broschur

36.39 €

Eine Sammlung sinnvoller hermetischer Gedichte Johannes H. von Hohenstätten

Broschur

17.95 €

Die Chirurgie Der Brustorgane Ferdinand Sauerbruch

Broschur

80.29 €

Kultur, um der Freiheit willen Christian Meier

Hardcover

16.00 €

Presents and develops current validation techniques for detecting safety violations. The focus of the text is on the correctness of techniques that suffice for fully automatic validation of key components of such systems. It builds on and extends the notion of types, popular in many sequential programming languages as a technique for catching certain kinds of errors already at program development time, by incorporating behaviours that are able to track the information flow in the presence of procedures, channel based communication, and the dynamic creation of network topologies. The technical development is performed for a language based on Concurrent ML.

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 Type And Effect Systems: Behaviours For Concurrency

Autor Torben Amtoft, etc., Flemming Nielson, Hanne Riis Nielson

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1999

Anzahl der Seiten 268

EAN 9781860941542

ISBN 1860941540

Libristo-Code 05121556

Verlag Imperial College Press

Gewicht 499

Abmessungen 161 x 225 x 20

Kategorie

EDV und Informationstechnologie > Unternehmensanwendungen > Unternehmenssoftware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computersicherheit > Kryptografie, Verschlüsselungstechnologie

Wirtschaftswissenschaft, Finanzen, Betriebswirtschaft und Management > Betriebswirtschaft und Management

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