Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 4.49 €
DPD-Stelle 3.49 €
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 4.49 €
DPD-Stelle 3.49 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Theory and Formal Methods of Computing
Sprache
Englisch
Englisch
Buch
Hardcover
The focus of this workshop was the development of mathematically-based techniques of formal specific...
Vollständige Beschreibung
Libristo-Code: 05121460
?
334 b
334 b
136.29
€
inkl. MwSt.
50% Chance
Wir werden die ganze Welt durchsuchen
Wann bekomme ich das Buch?
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Broschur
17.95
€
/
Broschur
13.09
€
/
Broschur
29.09
€
/
Broschur
43.99
€
The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers here range from the purely theoretical to practical applications.
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
Theory and Formal Methods of Computing
Autor
Chris Hankin, I. Mackie, Rajagopal Nagarajan
Sprache
Englisch
Englisch
Einband
Buch - Hardcover
Datum der Veröffentlichung
1995
Anzahl der Seiten
444
EAN
9781860940033
Libristo-Code
05121460
Verlag
Imperial College Press
Gewicht
592
Abmessungen
230
Kategorie
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 geliefertDas könnte Sie auch interessieren
/
Broschur
10.69
€
/
Broschur
24.39
€
/
Broschur
13.19
€
/
Broschur
13.79
€
/
Broschur
4.79
€
/
Hardcover
33.09
€
Buchberater Libroamiko
Durch die Nutzung dieses Chats kommunizieren Sie mit generativer künstlicher Intelligenz. Mit der Nutzung erklären Sie sich auch mit der Verarbeitung personenbezogener Daten einverstanden.
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?
Hallo, ich bin Libroamiko, kann ich helfen?