Importo totale (1 articolo articoli):
Destinazione ordine:
software engineering formal methods (950 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (950)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni
Legatura
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (310)
- Non Print on Demand (746)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Editore: Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574 ISBN 13: 9780201627572
Lingua: Inglese
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 5,51
Convertire valutaEUR 5,89 per la spedizione da Regno Unito a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 130,29
Usato - A partire da EUR 11,40
Scopri anche Brossura
-
Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, F-Ide, Cosim-Cps, Cifma, Berlin, Germany, September 26-30, 2022, Revis
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 8,99
Convertire valutaEUR 8,68 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.33.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 110,74
Usato - A partire da EUR 17,67
Scopri anche Brossura
-
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, . (Lecture Notes in Computer Science, 10729)
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 12,12
Convertire valutaEUR 8,83 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 79,15
Usato - A partire da EUR 20,95
Scopri anche Brossura
-
Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin / Volume 2: Colloquium on Software Engineering (CSE). Lecture notes in computer science ; Volume 186
Editore: Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Lingua: Inglese
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 14,95
Convertire valutaEUR 9,95 per la spedizione da Germania a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloBroschiert. Condizione: Gut. XIV, 455 Seiten : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 740.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 65,27
Usato - A partire da EUR 24,90
Scopri anche Brossura
-
Formal Methods And Software Engineering: 10Th International Conference On Formal Engineering Methods Icfem 2008
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 30,32
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 30,32
Usato - A partire da EUR 35,95
Scopri anche Brossura
-
Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development; Software Engineering Notes Vol. 15 No. 4;
Data di pubblicazione: 1990
Lingua: Inglese
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 9,95
Convertire valutaEUR 7,95 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloSoftcover-Grossformat; Condizione: Gut. 149 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Einband leicht berieben, ansonsten ordentlicher Erhaltungszustand; Sprache: Englisch Gewicht in Gramm: 420.
-
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 (Workshops in Computing)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 32,76
Convertire valutaEUR 4,63 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 37,39
Scopri anche Brossura
-
Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
Editore: Springer Berlin Heidelberg, 2013
ISBN 10: 3642412017 ISBN 13: 9783642412011
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 484 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 41,78
Scopri anche Brossura
-
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Editore: Springer Berlin Heidelberg, 2013
ISBN 10: 3642397204 ISBN 13: 9783642397202
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 68,48
Usato - A partire da EUR 41,78
Scopri anche Brossura
-
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 528 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 41,78
Scopri anche Brossura
-
Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Editore: Springer Berlin Heidelberg, 2011
ISBN 10: 3642245587 ISBN 13: 9783642245589
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 684 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 41,78
Scopri anche Brossura Prima edizione
-
Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24¿27, 2022, Proceedings
Editore: Springer International Publishing, 2022
ISBN 10: 3031172434 ISBN 13: 9783031172434
Lingua: Inglese
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 460 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 42,13
Scopri anche Brossura
-
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6¿10, 2021, Revised Selected Papers
Editore: Springer International Publishing, 2022
ISBN 10: 3031124286 ISBN 13: 9783031124280
Lingua: Inglese
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 364 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 42,13
Scopri anche Brossura
-
Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Editore: Springer Berlin Heidelberg, 2013
ISBN 10: 3642405606 ISBN 13: 9783642405600
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 340 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 42,13
Scopri anche Brossura
-
Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642338259 ISBN 13: 9783642338250
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 400 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 42,13
Scopri anche Brossura
-
Formal Foundations for Software Engineering Methods
Editore: Springer Berlin Heidelberg, 1997
ISBN 10: 3540636137 ISBN 13: 9783540636137
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 304 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 44,06
Scopri anche Brossura
-
Practical Formal Methods in Software Engineering
Editore: Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Lingua: Inglese
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 32,23
Convertire valutaEUR 12,60 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Very Good.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 63,68
Usato - A partire da EUR 44,83
Scopri anche Brossura
-
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 504 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,44
Usato - A partire da EUR 45,15
Scopri anche Brossura
-
Formal Methods In Databases And Software Engineering: Proceedings Of The Workshop On Formal Methods In Databases And Software Engineering, Montreal, (workshops In Computing)
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 46,61
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 46,61
Usato - A partire da EUR 105,96
Scopri anche Brossura
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 36,45
Convertire valutaEUR 10,60 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 47,05
Usato - A partire da EUR 54,80
Scopri anche Brossura
-
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 712 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 128,34
Usato - A partire da EUR 46,62
Scopri anche Brossura
-
Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26¿30, 2022, Proceedings
Editore: Springer International Publishing, 2022
ISBN 10: 3031171071 ISBN 13: 9783031171079
Lingua: Inglese
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 388 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 71,25
Usato - A partire da EUR 49,54
Scopri anche Brossura
-
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November . (Lecture Notes in Computer Science, 14308)
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 43,63
Convertire valutaEUR 9,35 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 71,25
Usato - A partire da EUR 52,98
Scopri anche Brossura
-
Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Editore: Springer Nature Switzerland, 2023
ISBN 10: 3031471148 ISBN 13: 9783031471148
Lingua: Inglese
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 392 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 71,25
Usato - A partire da EUR 52,02
Scopri anche Brossura
-
EUR 45,84
Convertire valutaEUR 8,24 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: NEW.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 54,08
Usato - A partire da EUR 159,73
Scopri anche Brossura
-
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16¿20, 2019, Revised Selected Papers
Editore: Springer International Publishing, 2020
ISBN 10: 3030575055 ISBN 13: 9783030575052
Lingua: Inglese
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 288 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 75,64
Usato - A partire da EUR 55,65
Scopri anche Brossura
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 46,55
Convertire valutaEUR 10,60 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 57,15
Usato - A partire da EUR 67,15
Scopri anche Rilegato
-
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part II
Editore: Springer Nature Switzerland, 2022
ISBN 10: 3031197550 ISBN 13: 9783031197550
Lingua: Inglese
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 444 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 76,14
Usato - A partire da EUR 56,00
Scopri anche Brossura
-
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6¿10, 2023, Revised Selected Papers
Editore: Springer Nature Switzerland, 2024
ISBN 10: 303166020X ISBN 13: 9783031660207
Lingua: Inglese
EUR 42,79
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the papers of two workshops which were held in conjunction with the 21st International WorkshoponSoftware Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, onNovember 6-10, 2023The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions.SEFM 2023 Collocated Workshops presents the following two workshops:5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023)11th International Workshop on Open Community approaches to Education, Research and Technology(OpenCERT 2023).
-
From Software Engineering to Formal Methods and Tools, and Back
Editore: Springer International Publishing, 2019
ISBN 10: 3030309843 ISBN 13: 9783030309848
Lingua: Inglese
EUR 48,37
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 82,46
Scopri anche Brossura
