Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen. (=Berichte der Gesellschaft für Mathematik und Datenverarbeitung, Nr. 144).
5 Angebote vergleichen

Bester Preis: 7,97 (vom 03.11.2016)
1
9783486289619 - Eckert, Hans: Ein mathematisches Verfahren zur automatisierten Verifikation von. Berichte der Gesellschaft für Mathematik und Datenverarbeitung
Symbolbild
Eckert, Hans

Ein mathematisches Verfahren zur automatisierten Verifikation von. Berichte der Gesellschaft für Mathematik und Datenverarbeitung (1985)

Lieferung erfolgt aus/von: Deutschland DE PB US

ISBN: 9783486289619 bzw. 3486289616, in Deutsch, München , Wien : Oldenbourg, Taschenbuch, gebraucht.

7,98 + Versand: 2,90 = 10,88
unverbindlich
Von Händler/Antiquariat, Mosakowski & Stiasny GbR [51070922], Florstadt, Germany.
222 S. : graph. Darst. , 23 cm Versand erfolgt am folgenden Werktag / stempel innen, Bibl.exempl, Sprache: Deutsch.
2
9783486289619 - Eckert, Hans: Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen. (=Berichte der Gesellschaft für Mathematik und Datenverarbeitung, Nr. 144).
Eckert, Hans

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen. (=Berichte der Gesellschaft für Mathematik und Datenverarbeitung, Nr. 144). (1985)

Lieferung erfolgt aus/von: Deutschland DE PB

ISBN: 9783486289619 bzw. 3486289616, in Deutsch, Oldenbourg München, Taschenbuch.

13,00 + Versand: 2,30 = 15,30
unverbindlich
Von Händler/Antiquariat, ralfs-buecherkiste [54202959], Herzfelde, D-, Germany.
1 222 Seiten Guter Zustand Bibl-Ex. Einband mit leichten Gebrauchsspuren. Wellig. Paperback.
3
9783486289619 - Eckert, Hans: Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen. Berichte der Gesellschaft für Mathematik und Datenverarbeitung Nr. 144
Symbolbild
Eckert, Hans

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen. Berichte der Gesellschaft für Mathematik und Datenverarbeitung Nr. 144 (1985)

Lieferung erfolgt aus/von: Deutschland DE PB

ISBN: 9783486289619 bzw. 3486289616, in Deutsch, München, Oldenbourg, Taschenbuch.

12,00 + Versand: 1,90 = 13,90
unverbindlich
Von Händler/Antiquariat, Antiquariat Mehlig [50489567], Bonn, Germany.
Sprache: Deutsch (222 S.), kartoniert mit Bibliotheksstempeln.
4
9783486289619 - Hans Eckert: Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
Symbolbild
Hans Eckert

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen (1984)

Lieferung erfolgt aus/von: Deutschland DE PB US

ISBN: 9783486289619 bzw. 3486289616, in Deutsch, 222 Seiten, Oldenbourg Wissenschaftsverlag, Taschenbuch, gebraucht.

7,97 + Versand: 3,00 = 10,97
unverbindlich
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, MEDIMOPS.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
9783486289619 - Eckert, Hans: Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
Symbolbild
Eckert, Hans

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen

Lieferung erfolgt aus/von: Deutschland DE US

ISBN: 9783486289619 bzw. 3486289616, in Deutsch, Oldenbourg, München, Deutschland, gebraucht.

9,69 + Versand: 2,00 = 11,69
unverbindlich
Von Händler/Antiquariat, medimops [55410863], Berlin, Germany.
Lade…