Von dem Buch Second IFM Castle, Germany, November 1-3, Proceedings (Lecture Notes in Computer Science) haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: International Conference on Integrated Formal Methods 2000 Dagstuhl C, a cura di: Thomas Santen, a cura di: Bill Stoddart: Second IFM Castle, Germany, November 1-3, Proceedings (Lecture Notes in Computer Science) (ISBN: 9783540411963) in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
82%: Herausgeber: Wolfgang Grieskamp, Herausgeber: Thomas Santen, Herausgeber: Bill Stoddart: Integrated Formal Methods (ISBN: 9783540409113) 2000, 2000. Ausgabe, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
Second IFM Castle, Germany, November 1-3, Proceedings (Lecture Notes in Computer Science)
12 Angebote vergleichen
| Preise | 2012 | 2013 | 2014 | 2015 |
|---|---|---|---|---|
| Schnitt | € 66,58 | € 38,75 | € 64,76 | € 62,49 |
| Nachfrage |
1
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science) (2008)
DE USISBN: 9783540411963 bzw. 3540411968, in Deutsch, Springer, gebraucht.
getbooks GmbH, [4040832].
456 Seiten TaschenbuchGepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 821997.01.
456 Seiten TaschenbuchGepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 821997.01.
2
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science) (2000)
EN NW EB DLISBN: 9783540409113 bzw. 3540409114, in Englisch, 451 Seiten, 2000. Ausgabe, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, E-Book zum Download.
This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000. The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation. Kindle Edition, Ausgabe: 2000, Format: Kindle eBook, Label: Springer, Springer, Produktgruppe: eBooks, Publiziert: 2000-11-27, Freigegeben: 2000-11-27, Studio: Springer.
This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000. The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation. Kindle Edition, Ausgabe: 2000, Format: Kindle eBook, Label: Springer, Springer, Produktgruppe: eBooks, Publiziert: 2000-11-27, Freigegeben: 2000-11-27, Studio: Springer.
3
Integrated Formal Methods: Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (2000)
DE PB NWISBN: 9783540411963 bzw. 3540411968, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Integrated Formal Methods
DE PB NWISBN: 9783540411963 bzw. 3540411968, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Integrated Formal Methods (2000)
DE NW EBISBN: 9783540409113 bzw. 3540409114, in Deutsch, Springer Berlin Heidelberg, neu, E-Book.
Lieferung aus: Deutschland, Versandkostenfrei, In stock (Download).
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
INTEGRATED FORMAL METHODS
DE NWISBN: 9783540411963 bzw. 3540411968, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
Von Händler/Antiquariat, Romtrade Corp. [59069402], Sterling Heights, MI, U.S.A.
Brand New book. We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.
Von Händler/Antiquariat, Romtrade Corp. [59069402], Sterling Heights, MI, U.S.A.
Brand New book. We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.
8
Integrated Formal Methods
DE NW EBISBN: 9783540409113 bzw. 3540409114, in Deutsch, Springer Nature, neu, E-Book.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science) (2000)
DE PB NWISBN: 9783540411963 bzw. 3540411968, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, ExtremelyReliable [8304062], Richmond, TX, U.S.A.
This item is printed on demand.
This item is printed on demand.
10
Integrated Formal Methods - Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (2000)
~EN NW EB DLISBN: 9783540409113 bzw. 3540409114, vermutlich in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Integrated Formal Methods: Englisch, Ebook.
Integrated Formal Methods: Englisch, Ebook.
Lade…