Importo totale (1 articolo articoli):
Destinazione ordine:
liu zhiming (370 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (370)
- 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 Maggiori informazioni
- Nuovo (331)
- Come nuovo, Ottimo o Quasi ottimo (29)
- Molto buono o Buono (7)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (3)
Legatura
Ulteriori caratteristiche
- Prima ed. (4)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (140)
- Non Print on Demand (267)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
MATHEMATICAL FRAMEWORKS FOR COMPONENT SOFTWARE: MODELS FOR ANALYSIS AND SYNTHESIS (Component-Based Software Development)
Lingua: Inglese
Editore: World Scientific Publishing Company, 2007
ISBN 10: 981270017X ISBN 13: 9789812700179
Hardcover. Condizione: New. SHRINK-WRAPPED: US SELLER SHIPS FAST FROM USA.
-
Theoretical Aspects of Computing: ICTAC 2007
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
The Village Teacher
Editore: Head of Zeus 2021, 2021
Da: Hard to Find Books NZ (Internet) Ltd., Dunedin, OTAGO, Nuova Zelanda
Membro dell'associazione: IOBA
Valutazione del venditore 5 su 5 stelle
EUR 11,78
Spedizione EUR 17,10
Spedito da Nuova Zelanda a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloimperial octavo softcover (VG+): all our specials have minimal description to keep listing them viable. They are at least reading copies, complete and in reasonable condition, but usually secondhand; frequently they are superior examples. Ordering more than one book may reduce your overall postage costs.
-
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Lecture Notes in . Computer Science and General Issues)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Formal Methods And Hybrid Real-time Systems: Essays In Honour Of Dines Bjorner And Zhou Chaochen On The Occasion Of Their 70th Birthdays
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Domain Modeling And The Duration Calculus
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods And Hybrid Real-time Systems: Essays In Honour Of Dines Bjorner And Zhou Chaochen On The Occasion Of Their 70th Birthdays
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
Domain Modeling And The Duration Calculus
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
EUR 48,99
Spedizione gratuita
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Theoretical Aspects of Computing - ICTAC 2007
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 502.
-
Domain Modeling and the Duration Calculus
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 254.
-
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture . Computer Science and General Issues)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.Except for library markings, interior clean and unmarked. Tight binding.
-
Theoretical Aspects of Computing - ICTAC 2007
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 43,26
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 502 Illus.
-
Domain Modeling and the Duration Calculus
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 43,55
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 254 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Formal Methods and Hybrid Real-Time Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 562.
-
Formal Methods and Hybrid Real-Time Systems
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 46,42
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 562 Illus.
-
Domain Modeling and the Duration Calculus : Internaitonal Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
EUR 54,72
Spedizione gratuita
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
EUR 54,72
Spedizione gratuita
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Engineering Trustworthy Software Systems (Paperback)
Lingua: Inglese
Editore: Springer Nature Switzerland AG, Cham, 2020
ISBN 10: 3030550885 ISBN 13: 9783030550882
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapter include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Engineering Trustworthy Software Systems (Paperback)
Lingua: Inglese
Editore: Springer Nature Switzerland AG, Cham, 2018
ISBN 10: 3030029271 ISBN 13: 9783030029272
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures (Programming and Software Engineering)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 51,40
Spedizione EUR 3,37
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures (Programming and Software Engineering)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 51,40
Spedizione EUR 3,37
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Unifying Theories of Programming and Formal Engineering Methods (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2013
ISBN 10: 3642397204 ISBN 13: 9783642397202
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare and He's Unifying Theories of Programming. This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering Ictac 2013
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,87
Spedizione EUR 2,23
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Engineering Trustworthy Software Systems : First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,90
Spedizione EUR 2,23
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Aspects of Component Software : 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,90
Spedizione EUR 2,23
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Dependable Software Engineering : Theories, Tools, and Applications; First International Symposium, Setta 2015, Nanjing, China, November 4-6, 2015, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,90
Spedizione EUR 2,23
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 51,74
Spedizione EUR 3,37
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
