Importo totale (1 articolo articoli):
Destinazione ordine:
liu shaoying (238 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (238)
- 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. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (92)
- Non Print on Demand (172)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Formal Engineering for Industrial Software Development
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 16,81
Convertire valutaEUR 4,59 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, 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 45,05
Usato - A partire da EUR 21,40
Scopri anche Rilegato
-
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,28
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,28
Usato - A partire da EUR 38,84
Scopri anche Brossura
-
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Editore: Springer International Publishing, 2023
ISBN 10: 3031294750 ISBN 13: 9783031294754
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 164 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 62,46
Usato - A partire da EUR 39,05
Scopri anche Brossura
-
Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Editore: Springer Berlin Heidelberg, 2013
ISBN 10: 3642392768 ISBN 13: 9783642392764
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 160 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 54,58
Usato - A partire da EUR 42,64
Scopri anche Brossura
-
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 216 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,44
Usato - A partire da EUR 45,40
Scopri anche Brossura
-
Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Editore: Springer International Publishing, 2020
ISBN 10: 3030414175 ISBN 13: 9783030414177
Lingua: Inglese
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 376 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 45,71
Scopri anche Brossura
-
Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Editore: Springer International Publishing, 2019
ISBN 10: 3030136507 ISBN 13: 9783030136505
Lingua: Inglese
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 208 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 45,71
Scopri anche Brossura
-
First International Conference on Formal Engineering Methods, Hiroshima, Japan, November 12 - 14, 1997. ICFEM '97.
Editore: IEEE Computer Society Press, 1997, XI + 328 PP., 1997
ISBN 10: 0818680024 ISBN 13: 9780818680021
Lingua: Inglese
Da: Eryops Books, Stephenville, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 17,83
Convertire valutaEUR 39,04 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloSoft Cover. Condizione: Very Good. Ex-library; minor shelfwear; o/w in very good condition.
-
Structured Object-Oriented Formal Language and Method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Editore: Springer International Publishing, Springer International Publishing, 2015
ISBN 10: 3319174037 ISBN 13: 9783319174037
Lingua: Inglese
EUR 42,80
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 book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 49,31
Usato - A partire da EUR 67,05
Scopri anche Brossura
-
Structured Object-Oriented Formal Language and Method
Editore: Springer International Publishing, 2018
ISBN 10: 3319901036 ISBN 13: 9783319901039
Lingua: Inglese
EUR 48,37
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 63,81
Scopri anche Brossura
-
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 54,86
Convertire valutaEUR 10,50 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Mathematics in Software Reliability and Quality Assurance
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,66
Convertire valutaEUR 7,81 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Editore: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319577077 ISBN 13: 9783319577074
Lingua: Inglese
EUR 53,49
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 book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking.
-
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Editore: Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319478451 ISBN 13: 9783319478456
Lingua: Inglese
EUR 53,49
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 book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 82,02
Scopri anche Brossura
-
Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Editore: Springer International Publishing, 2016
ISBN 10: 3319312197 ISBN 13: 9783319312194
Lingua: Inglese
EUR 53,49
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 book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions. The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 156,66
Scopri anche Brossura
-
Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Editore: Springer International Publishing, Springer International Publishing, 2014
ISBN 10: 3319049143 ISBN 13: 9783319049144
Lingua: Inglese
EUR 53,49
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 book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 81,27
Scopri anche Brossura
-
Formal Engineering for Industrial Software Development : Using the SOFL Method
Editore: Springer Berlin Heidelberg, 2010
ISBN 10: 3642058272 ISBN 13: 9783642058271
Lingua: Inglese
EUR 53,49
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 - In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect.Formal methods involve the use of mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrictions, changing requirements). Here Liu claims that formal engineering methods may bridge this gap. He advocates the incorporation of mathematical notation into the software engineering process, thus substantially improving the rigor, comprehensibility and effectiveness of the methods commonly used in industry.This book provides an introduction to the SOFL (Structured Object-Oriented Formal Language) method that was designed and industry-tested by the author. Written in a style suitable for lecture courses or for use by professionals, there are numerous exercises and a significant real-world case study, so the readers are provided with all the knowledge and examples needed to successfully apply the method in their own projects.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 132,61
Scopri anche Brossura
-
Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,37
Convertire valutaEUR 10,50 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods and Software Engineering
Editore: Springer Nature Singapore Nov 2024, 2024
ISBN 10: 9819606160 ISBN 13: 9789819606160
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 70,61
Convertire valutaEUR 15,00 per la spedizione da Germania a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methodsSpringer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.
-
Formal Engineering Methods (ICFEM 2000): 3rd IEEE International Conference, York, England, 4-6 September 2000
Editore: IEEE, Los Alamitos, California, 2001
ISBN 10: 0769508227 ISBN 13: 9780769508221
Lingua: Inglese
Da: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 100,50
Convertire valutaEUR 40,78 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. No Jacket. Hardcover 2001 library bound edition. Ex-library book with minimal stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. [xi, 209 p. : ill. ; 28 cm].
-
Agile-SOFL : Agile Formal Engineering Method
Editore: Springer Nature Singapore, Springer Nature Singapore, 2024
ISBN 10: 9819722845 ISBN 13: 9789819722846
Lingua: Inglese
EUR 184,10
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engineering and discusses its benefits for realistic software projects. In this book, the author argues that formal engineering methods and agile approaches are complementary in ensuring high productivity while enhancing reliability. Agile-SOFL offers a highly practical and systematic method that strikes a good balance of efforts for enhancing both software productivity and reliability. Specifically, Agile-SOFL is characterized by five features: (1) systematic approach to constructing hybrid specifications for requirements-related faults prevention, (2) specification-based incremental programming for quality implementation, (3) specification-based inspection and testing for system validation, (4) automatic testing-based formal verification for the correctness of code, and (5) effective project management for high effectiveness and efficiency in applying Agile-SOFL.The objective of this book is to help readers learn the latest effective Agile development concepts and techniques and to take them to the point where they can easily apply Agile-SOFL to develop their own software systems with a high productivity and reliability. The reader can also considerably benefit from this book by learning many newly developed concepts and principles in fault prevention, fault detection, verification of code correctness, and efficient project management.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 159,55
Usato - A partire da EUR 249,39
Scopri anche Rilegato
-
Biodiversity in Kongpo Natural Reserves Kongpo, Xizang(Chinese Edition)
ISBN 10: 7562151792 ISBN 13: 9787562151791
EUR 105,72
Convertire valutaEUR 13,01 per la spedizione da Cina a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: New. Language:Chinese,Latin.Author:Liu Shaoying & Zhang Ming.Binding:Soft cover.
