Diego latella (53 Ergebnisse)

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 53,73

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Paperback or Softback)

Derrick, John

Sprache: Englisch

Verlag: Springer 6/6/2012, 2012

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 58,96

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Book.

Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques f

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 57,55

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques f

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 58,30

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science, 7321)

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Derrick, John (EDT); Gnesi, Stefania (EDT); Latella, Diego (EDT); Treharne, Helen (EDT)

Zustand: Neu

EUR 61,10

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 61,80

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Protocol Specification, Testing and V

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 54,87

EUR 13,17 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques f

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 54,86

EUR 17,49 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science, 7321)

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,01

EUR 13,17 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Derrick, John

Sprache: Englisch

Verlag: Springer 2012-06, 2012

Softcover

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 57,42

EUR 18,06 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

PF. Zustand: New.

Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques f

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Derrick, John (EDT); Gnesi, Stefania (EDT); Latella, Diego (EDT); Treharne, Helen (EDT)

Zustand: Gebraucht - Wie neu

EUR 59,95

EUR 17,49 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Derrick, John (EDT); Gnesi, Stefania (EDT); Latella, Diego (EDT); Treharne, Helen (EDT)

Zustand: Neu

EUR 60,41

EUR 17,49 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 67,17

EUR 17,49 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Logica e introduzione alla programmazione logica

Diego Latella

Verlag: , Pàtron, 1989

Softcover

Anbieter: librisaggi, SAN VITO ROMANO, Italienlibrisaggi

Verkäufer/-in mit 4 Sternen

Derrick, John (Editor)/ Gnesi, Stefania (Editor)/ Latella, Diego (Editor)/ Treharne, Helen (Editor)

Zustand: Gebraucht - Schlecht

EUR 12,00

EUR 40,00 Versand

Versand von Italien nach USA

Anzahl: 1 verfügbar

In den Warenkorb

brossura. Zustand: Poor. Libro in discrete condizioni, presenta pagine interne ingaillite e copertina lievemente usurata 127 Mediocre (Poor) . Book.

Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2012

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 81,12

EUR 14,58 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2012 edition. 372 pages. 9.25x6.10x0.84 inches. In Stock.

Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Helen Treharne

Sprache: Englisch

Verlag: Springer Spektrum, 2012

Softcover

Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

Verkäufer/-in mit 5 Sternen

Bolognesi Tommaso Bolognesi

Zustand: Neu

EUR 78,76

EUR 30,50 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.…

Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and V

Sprache: Englisch

Verlag: Springer Nature B.V. Mai 2013, 2013

Softcover

Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 79,63

EUR 30,50 Versand

Versand von Deutschland nach USA

Anzahl: 2 verfügbar

Taschenbuch. Zustand: Neu. Neuware.

Formal Methods for Distributed System Development : ###############################################################################################################################################################################################################################################################

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 216,70

EUR 17,49 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Methods for Distributed System Development : Forte/Pstv 2000 Ifip Tc6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte

Sprache: Englisch

Verlag: Springer, 2000

Hardcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 216,70

EUR 17,49 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... in Information and Communication Technology)

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 227,06

EUR 13,17 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... Information and Communication Technology, 55)

Sprache: Englisch

Verlag: Springer, 2000

Hardcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 227,06

EUR 13,17 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Formal Methods for Distributed System Development : ###############################################################################################################################################################################################################################################################

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 239,42

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Methods for Distributed System Development : Forte/Pstv 2000 Ifip Tc6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte

Sprache: Englisch

Verlag: Springer, 2000

Hardcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 239,42

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Methods for Distributed System Development : ###############################################################################################################################################################################################################################################################

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Tommaso Bolognesi (u. a.)

Zustand: Gebraucht - Wie neu

EUR 245,41

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Formal Methods for Distributed System Development | FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13,

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: preigu, Osnabrück, Deutschlandpreigu

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 184,95

EUR 70,00 Versand

Versand von Deutschland nach USA

Anzahl: 5 verfügbar

Taschenbuch. Zustand: Neu. Formal Methods for Distributed System Development | FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, | Tommaso Bolognesi (u. a.) | Taschenbuch | IFIP Advances in Information and Communication Technology | xx | Englisch | 2013 | Springer | EAN 9781475752649 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Formal Methods for Distributed System Development : ###############################################################################################################################################################################################################################################################

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

. Ed(s): Bolognesi, Tommaso; Latella, Diego

Zustand: Gebraucht - Wie neu

EUR 250,77

EUR 17,49 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Formal Methods for Distributed System Development

Sprache: Englisch

Verlag: Kluwer Academic Publishers, 2000

Hardcover

Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 259,20

EUR 9,50 Versand

Versand von Irland nach USA

Anzahl: 15 verfügbar

Zustand: New. Addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. This book covers the topics: model checking theory and applications; verification and theorem proving; testing theory and applications; and multicast protocol analysis and simulation. Editor(s): Bolognesi, Tommaso; Latella, Diego. Series: IFIP Advances in Information and Communication Technology. Num Pages: 423 pages, biography. BIC Classification: UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 1710. . 2000. Hardback. . . . .…

Formal Methods for Distributed System Development

Sprache: Englisch

Verlag: Springer, 2000

Hardcover

Anbieter: Books Puddle, Woodside, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 281,54

EUR 3,48 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: New. pp. 428.

Formal Methods for Distributed System Development

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: Books Puddle, Woodside, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 282,73

EUR 3,48 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: New. pp. 428.

Formal Methods for Distributed System Development : Forte/Pstv 2000 Ifip Tc6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte

Sprache: Englisch

Verlag: Springer, 2000

Hardcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen