Tiziana margaria (694 résultats)

303149251X / 9783031492518

Etat: Occasion - Satisfaisant

EUR 3,67

EUR 3,56 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Good. paperback 100% of proceeds go to charity! Good condition with all pages in tact. Item shows signs of use and may have cosmetic defects.

Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Vï¿½sterï¿½s, Sweden, October 16-18, 2023, Proceedings (Lecture Notes in Computer Science, 14390)

Langue : anglais

Edité par Springer, 2023

Couverture souple

Vendeur : Marlton Books, Bridgeton, NJ, Etats-UnisMarlton Books

Vendeur avec une évaluation de 5 étoiles

Tiziana Margaria et Bernhard Steffen

Etat: Occasion - Moyen

EUR 5,96

EUR 2,68 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2023.

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96 Passau, Germany, March 27-29, 19

Langue : anglais

Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996

3540610421 / 9783540610427

Couverture souple

Vendeur : Ammareal, Morangis, FranceAmmareal

Vendeur avec une évaluation de 5 étoiles

3540610421 / 9783540610427

Etat: Occasion - Très bon

EUR 3,99

EUR 16,50 expédition

Expédition depuis France vers Etats-Unis

Quantité disponible : 1 disponible

Softcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Tools and Algorithms for the Construction and Analysis of Systems : Proceedings, Second International Workshop, TACAS '96, Passau, Germany, March 1996

Langue : anglais

Edité par Springer Berlin / Heidelberg, 1996

Couverture souple

Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books

Vendeur avec une évaluation de 5 étoiles

Tiziana Margaria; Bernhard Steffen (editors)

Etat: Occasion - Satisfaisant

EUR 22,59

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 : Revised Selected Papers

Langue : anglais

Edité par Springer, 2006

3540489282 / 9783540489283

Couverture souple

Vendeur : BookOrders, Russell, IA, Etats-UnisBookOrders

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Moyen

EUR 27,58

EUR 3,57 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Soft Cover. Etat : Fair. Lecture Notes in Computer Science, 4313. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear. 196 pages. The book has a light bend from poor storage. Ex-Library.

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. . (Lecture Notes in Computer Science, 1019)

Langue : anglais

Edité par Springer, 1995

Couverture souple

Vendeur : HPB-Red, Dallas, TX, Etats-UnisHPB-Red

Vendeur avec une évaluation de 5 étoiles

Margaria, Tiziana; Tom Melham (Eds.)

Etat: Occasion - Satisfaisant

EUR 39,30

EUR 3,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

Correct Hardware Design and Verification Methods. 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings.

Langue : anglais

Edité par Berlin, Springer., 2001

3540425411 / 9783540425410

Couverture souple

Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, AllemagneUniversitätsbuchhandlung Herta Hold GmbH

Vendeur avec une évaluation de 3 étoiles

Membre d’une association professionnelle : VDAGIAQILAB

Etat: Occasion

EUR 12,00

EUR 30,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

XII, 482 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2144. Sprache: Englisch. …

Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

Langue : anglais

Edité par Springer Berlin / Heidelberg, 1995

Couverture souple

Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books

Vendeur avec une évaluation de 5 étoiles

Margaria, Tiziana and Bernhard Steffen:

Etat: Occasion - Assez bon

EUR 45,12

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Very Good. 1995th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. …

Leveraging applications of formal methods, verification and validation, Applications and case studies, 2 Lecture notes in computer science ; 7610

Langue : anglais

Edité par Berlin ; Heidelberg : Springer, 2012

3642340318 / 9783642340314

Couverture souple

Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagnebooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)

Vendeur avec une évaluation de 5 étoiles

Herzreum, Georg (EDT); Tiziana, Margaria (EDT)

Etat: Occasion - Assez bon

EUR 32,95

EUR 15,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Broschiert. Etat : Gut. XVI, 361 S. : Ill., graph. Darst. Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 605.

Software Business : From Physical Products to Software Services and Solutions

Langue : anglais

Edité par Springer, 2013

3642393357 / 9783642393358

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3031197585 / 9783031197581

Etat: Neuf

EUR 48,99

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, . (Lecture Notes in Computer Science, 13703)

Langue : anglais

Edité par Springer, 2022

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

3540643672 / 9783540643678

Etat: Occasion - Assez bon

EUR 51,99

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : 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.…

Services And Visualization - Towards User-friendly Design: Acos98 Visual98, Ain*97 Selected Papers

0

Langue : anglais

Edité par Springer, 1998

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 52,16

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Tools And Algorithms For The Construction And Analysis Of Systems/first International Workshop, Tacas *95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

0

Langue : anglais

Edité par Springer, 1995

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

3540643672 / 9783540643678

Etat: Neuf

EUR 52,16

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Services And Visualization - Towards User-friendly Design: Acos98 Visual98, Ain*97 Selected Papers

Langue : anglais

Edité par Springer, 1998

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 52,87

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Tools And Algorithms For The Construction And Analysis Of Systems/first International Workshop, Tacas *95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

Langue : anglais

Edité par Springer, 1995

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)

Etat: Neuf

EUR 52,87

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Langue : anglais

Edité par Springer, 2012

3642347800 / 9783642347801

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Margaria, Tiziana (EDT); Graf, Susanne (EDT); Larsen, Kim G. (EDT)

Etat: Neuf

EUR 52,27

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Models, Mindsets, Meta - the What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Langue : anglais

Edité par Springer, 2019

3030223477 / 9783030223472

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 53,61

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings

3642340318 / 9783642340314

Langue : anglais

Edité par Springer, 2012

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Margaria, Tiziana and Bernhard Steffen:

Etat: Neuf

EUR 53,72

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, 1

Langue : anglais

Edité par Springer, 2012

3642340253 / 9783642340253

Couverture souple

Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagnebooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 34,95

EUR 19,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Broschiert. Etat : Gut. 614 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 970.

Leveraging Applications of Formal Methods, Verification and Validation - Modeling : 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings

3030034178 / 9783030034177

Langue : anglais

Edité par Springer, 2018

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 54,84

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Leveraging Applications of Formal Methods, Verification and Validation - Verification : 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings

3030034208 / 9783030034207

Langue : anglais

Edité par Springer, 2018

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 54,84

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Leveraging Applications of Formal Methods, Verification and Validation - Industrial Practice : 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings

3030034267 / 9783030034269

Langue : anglais

Edité par Springer, 2018

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 54,84

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Leveraging Applications of Formal Methods, Verification and Validation - Distributed Systems : 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings

3030034232 / 9783030034238

Langue : anglais

Edité par Springer, 2018

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 54,84

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Leveraging Applications of Formal Methods, Verification and Validation : Applications: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 20?30, 2020, Proceedings

3030614662 / 9783030614669

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 54,93

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 20?30, 2020, Proceedings

3030614697 / 9783030614690

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 55,00

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings

3642340253 / 9783642340253

Langue : anglais

Edité par Springer, 2012

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 55,00

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques and Applications, 6th International Symposium Isola 2014 Imperial, Corfu, Greece October 8-11 2014 Proceedings

3662452308 / 9783662452301

Langue : anglais

Edité par Springer, 2014

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3540643672 / 9783540643678

Etat: Neuf

EUR 55,00

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Services and Visualization

Langue : anglais

Edité par Springer, 1998

Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Abrahamsson, Pekka (EDT); Baddoo, Nathan (EDT); Margaria, Tiziana (EDT); Messnarz, Richard (EDT)

Etat: Occasion

EUR 55,11

EUR 3,56 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Used. pp. 344.

Software Process Improvement : 14th European Conference, EuroJSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings

Langue : anglais

Edité par Springer, 2007

3540747656 / 9783540747659

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3540747656 / 9783540747659

Etat: Neuf

EUR 56,39

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Software Process Improvement

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles