Gargantini angelo (48 risultati)
- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 31,02
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: Books From California, Simi Valley, CA, U.S.A.Books From California
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 56,60
EUR 4,37 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
paperback. Condizione: Very Good.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 62,34
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Books From California, Simi Valley, CA, U.S.A.Books From California
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 63,02
EUR 4,37 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
paperback. Condizione: Very Good.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,43
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,82
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 12 in M alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests. I…n the past, proving and testing were seen as very di?erent and even competing techniques. Proving people would say: If correctness is proved, what do we need tests for? Testers, on the other hand, would claim that proving is too limited in applicability and testing is the only truepathtocorrectness. Ofcourse,bothhaveapoint,buttoquoteEdBrinksma from his 2009 keynote at the Dutch Testing Day and Testcom/FATES: Who would want to ?y in an airplane with software proved correct, but not tested? Indeed, the true power lies in the combination of both approaches. Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously. At a time when even mainstream software engineering conferences start f- turing papers with both testing and provingin their titles, we are clearly on the verge of a new age where testing and proving are not competing but ?nally accepted as complementary techniques. Albeit, we are not quite there yet, and so the TAP conferences aim to provide a forum for researchers working on the converging topics and to raise general awareness of this convergence. Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,56
EUR 14,10 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Abstract State Machines 2003, Advances in Theory and Practice : Advances in Theory and Practice ; 10th International Workshop, Asm 2003, Taormina, Italy, March 2003 : Proceedings
Brger, E.; Gargantini, Angelo (EDT); Gargantini, A.; Riccobene, E.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,61
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Abstract State Machines 2003, Advances in Theory and Practice : Advances in Theory and Practice ; 10th International Workshop, Asm 2003, Taormina, Italy, March 2003 : Proceedings
Brger, E.; Gargantini, Angelo (EDT); Gargantini, A.; Riccobene, E.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,55
EUR 17,65 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,86
EUR 14,10 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 83,69
EUR 3,50 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 448.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,97
EUR 14,10 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Tests and Proofs: 4th International Conference, Tap 2010, Malaga, Spain, July 1-2, 2010, Proceedings
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,42
EUR 11,77 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 182 pages. 9.25x6.25x0.75 inches. In Stock.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,82
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: New.
Lingua: Inglese
Editore: New York, NY, U.S.A. Springer-Verlag New York, Incorporated, 2003
- Brossura
Da: CSG Onlinebuch GMBH, Darmstadt, GermaniaCSG Onlinebuch GMBH
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 16,96
EUR 95,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Softcover. Condizione: Gut. Gebraucht - Gut Zustand: Gut, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings XI, 427 p. Also available online. About this book This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina,… Italy in March 2003. The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well. Written for researchers and professionals.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 8,69
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 63,37 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.The 16 revised full papers presented together with 8 invited papers and 12 abstracts were… carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 117,47
EUR 3,50 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. 2024th edition NO-PA16APR2015-KAP.
Testing Software and Systems: 35th Ifip Wg 6.1 International Conference, Ictss 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Bonfanti, Silvia (Editor)/ Gargantini, Angelo (Editor)/ Salvaneschi, Paolo (Editor)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 114,09
EUR 11,77 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 303 pages. 9.25x6.10x0.64 inches. In Stock.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 122,66
EUR 14,71 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 413 pages. 9.25x6.10x9.21 inches. In Stock.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,71
EUR 61,48 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Neuware - This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1-2 in M alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests.… In the past, proving and testing were seen as very di erent and even competing techniques. Proving people would say: If correctness is proved, what do we need tests for Testers, on the other hand, would claim that proving is too limited in applicability and testing is the only truepathtocorrectness. Ofcourse,bothhaveapoint,buttoquoteEdBrinksma from his 2009 keynote at the Dutch Testing Day and Testcom/FATES: 'Who would want to y in an airplane with software proved correct, but not tested ' Indeed, the true power lies in the combination of both approaches. Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously. At a time when even mainstream software engineering conferences start f- turing papers with both 'testing' and 'proving'in their titles, we are clearly on the verge of a new age where testing and proving are not competing but nally accepted as complementary techniques. Albeit, we are not quite there yet, and so the TAP conferences aim to provide a forum for researchers working on the converging topics and to raise general awareness of this convergence.
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer Nature Switzerland, 2023
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 62,32 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This bookconstitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short pap…ers and one journal paper were carefully reviewed and selected from 56 submissions.The conference focuses onTest Case Generation;Test Automation and Design;Model Based Testing; and AI and Smart Contracts Testing.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,35
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Testing Software and Systems | 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings | Silvia Bonfanti (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2023 | Springer | EAN 9783031432392 | Verantwortliche Person für di…e EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,85
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Rigorous State-Based Methods | 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings | Silvia Bonfanti (u. a.) | Taschenbuch | xv | Englisch | 2024 | Springer | EAN 9783031637896 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heid…elberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Abstract State Machines 2003, Advances in Theory and Practice : Advances in Theory and Practice ; 10th International Workshop, Asm 2003, Taormina, Italy, March 2003 : Proceedings
Brger, E.; Gargantini, Angelo (EDT); Gargantini, A.; Riccobene, E.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 129,66
EUR 17,65 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer Nature Switzerland, 2024
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,24
EUR 63,14 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.The 29 papers included in this volume were carefully reviewed and select…ed from 47 submissions.They were organized in topical sections as follows: research papers;short research papers;case study;doctoral symposium.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 119,97
EUR 29,41 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Abstract State Machines 2003, Advances in Theory and Practice : Advances in Theory and Practice ; 10th International Workshop, Asm 2003, Taormina, Italy, March 2003 : Proceedings
Brger, E.; Gargantini, Angelo (EDT); Gargantini, A.; Riccobene, E.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 151,70
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 50,46
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 304 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented to…gether with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.
- Brossura
- Print on Demand
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,90
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.
