Gnesi (139 Ergebnisse)
Abstract State Machines, Alloy, B, Vdm, and Z : Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Fitzgerald, John (EDT); Gnesi, Stefania (EDT); Khurshid, Sarfraz (EDT); Leuschel, Michael (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,05
EUR 2,37 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New.
- Softcover
Anbieter: PBShop.store US, Wood Dale, IL, USAPBShop.store US
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 55,50
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Requirements Engineering - Foundation for Software Quality : 26th International Working Conference, Refsq 2020, Pisa, Italy, March 24?27, 2020, Proceedings
Madhavji, Nazim (EDT); Pasquale, Liliana (EDT); Ferrari, Alessio (EDT); Gnesi, Stefania (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,60
EUR 2,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Gnesi, Stefania (EDT); Latella, Diego (EDT); Treharne, Helen (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 54,04
EUR 2,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 51,55
EUR 6,02 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Abstract State Machines, Alloy, B, Vdm, and Z : Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Fitzgerald, John (EDT); Gnesi, Stefania (EDT); Khurshid, Sarfraz (EDT); Leuschel, Michael (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 56,73
EUR 2,37 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: As New. Unread book in perfect condition.
Fm 2016 : Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Fitzgerald, John (EDT); Heitmeyer, Constance (EDT); Gnesi, Stefania (EDT); Philippou, Anna (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,91
EUR 2,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,67
Versand gratisVersand innerhalb von USAAnzahl: 5 verfügbar
Paperback or Softback. Zustand: New. Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Book.
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 52,21
EUR 7,78 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: New. Brand new book, sourced directly from publisher. Dispatch time is 9-10 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
Requirements Engineering - Foundation for Software Quality : 26th International Working Conference, Refsq 2020, Pisa, Italy, March 24?27, 2020, Proceedings
Madhavji, Nazim (EDT); Pasquale, Liliana (EDT); Ferrari, Alessio (EDT); Gnesi, Stefania (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 62,89
EUR 2,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Critical Systems - Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Ter Beek, Maurice H. (EDT); Gnesi, Stefania (EDT); Knapp, Alexander (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 63,19
EUR 2,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 62,87
EUR 2,69 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 62,87
EUR 2,69 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 62,87
EUR 2,69 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 62,87
EUR 2,69 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Gnesi, Stefania (EDT); Latella, Diego (EDT); Treharne, Helen (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 63,59
EUR 2,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Fm 2016 : Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Fitzgerald, John (EDT); Heitmeyer, Constance (EDT); Gnesi, Stefania (EDT); Philippou, Anna (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 63,96
EUR 2,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italienlibreriauniversitaria.it
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 17,57
EUR 19,95 VersandVersand von Italien nach USAAnzahl: 2 verfügbar
Zustand: NEW.
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 66,57
EUR 2,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Abstract State Machines, Alloy, B, Vdm, and Z : Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Fitzgerald, John (EDT); Gnesi, Stefania (EDT); Khurshid, Sarfraz (EDT); Leuschel, Michael (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 51,54
EUR 17,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New.
Abstract State Machines, Alloy, B, Vdm, and Z : Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Fitzgerald, John (EDT); Gnesi, Stefania (EDT); Khurshid, Sarfraz (EDT); Leuschel, Michael (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 58,98
EUR 17,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: As New. Unread book in perfect condition.
Critical Systems - Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Ter Beek, Maurice H. (EDT); Gnesi, Stefania (EDT); Knapp, Alexander (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,94
EUR 17,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Gnesi, Stefania (EDT); Latella, Diego (EDT); Treharne, Helen (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 62,08
EUR 17,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 69,02
EUR 9,50 VersandVersand von Irland nach USAAnzahl: 15 verfügbar
Zustand: New.
Fm 2016 : Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Fitzgerald, John (EDT); Heitmeyer, Constance (EDT); Gnesi, Stefania (EDT); Philippou, Anna (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 62,54
EUR 17,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 62,28
EUR 17,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Wegmann1855, Zwiesel, DeutschlandWegmann1855
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 25,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.…
- Softcover
Anbieter: -OnTimeBooks-, Phoenix, AZ, USA-OnTimeBooks-
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 83,61
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…
Requirements Engineering - Foundation for Software Quality : 26th International Working Conference, Refsq 2020, Pisa, Italy, March 24?27, 2020, Proceedings
Madhavji, Nazim (EDT); Pasquale, Liliana (EDT); Ferrari, Alessio (EDT); Gnesi, Stefania (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 67,99
EUR 17,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Gnesi, Stefania (EDT); Latella, Diego (EDT); Treharne, Helen (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 69,23
EUR 17,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
