.png){kind=logo}
Computing
Results 1101 - 1120 of 30856
Computing
Paperback. Presents the papers that feature research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 454 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 454
- Condition
- New
- SKU
- V9783540311393
- ISBN
- 9783540311393
Paperback
Condition: New
€ 73.28
€ 73.28
Paperback. Editor(s): Cousot, Radhia. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783540242970
- ISBN
- 9783540242970
Paperback
Condition: New
€ 74.05
€ 74.05
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 340 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 18. Weight in Grams: 483.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783540003489
- ISBN
- 9783540003489
Paperback
Condition: New
€ 71.02
€ 71.02
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Bouajjani, Ahmed; Monniaux, David
Paperback. Editor(s): Bouajjani, Ahmed; Monniaux, David. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 150 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 878.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 560
- Condition
- New
- SKU
- V9783319522333
- ISBN
- 9783319522333
Paperback
Condition: New
€ 69.26
€ 69.26
Paperback. Num Pages: 229 pages, biography. BIC Classification: UGC; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 229
- Condition
- New
- SKU
- V9781461350941
- ISBN
- 9781461350941
Paperback
Condition: New
€ 204.74
€ 204.74
Hardback. A practical guide on how to get a verification team jumpstarted into verification success by the joint creation of a verification plan. This book includes: a five day approach that gives instructions on how to design and document your verification system; an introduction to hardware verification languages; and more. Num Pages: 229 pages, biography. BIC Classification: UKR; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 229
- Condition
- New
- SKU
- V9781402076190
- ISBN
- 9781402076190
Hardback
Condition: New
€ 210.15
€ 210.15
Hardback. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Series: Texts in Computer Science. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: UMB. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 167 x 32. Weight in Grams: 922.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 3rd ed. 2009, Corr. 3rd printing 2010
- Number of pages
- 526
- Condition
- New
- SKU
- V9781848827448
- ISBN
- 9781848827448
Hardback
Condition: New
€ 138.08
€ 138.08
Paperback. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: PBCD; UM; UYF. Category: (G) General (US: Trade). Dimension: 233 x 156 x 28. Weight in Grams: 746.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of hardcover 3rd ed. 2009
- Number of pages
- 526
- Condition
- New
- SKU
- V9781447125136
- ISBN
- 9781447125136
Paperback
Condition: New
€ 107.99
€ 107.99
Paperback. The goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. This work emphasizes on specification, including two widely-used object-oriented specification languages (OCL and JML) and even an interface to natural language generation. Series: Lecture Notes in Computer Science. Num Pages: 687 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 233 x 166 x 34. Weight in Grams: 1008.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 687
- Condition
- New
- SKU
- V9783540689775
- ISBN
- 9783540689775
Paperback
Condition: New
€ 131.70
€ 131.70
Paperback. Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997. Editor(s): Inan, M. Kemal; Kurshan, R. P. Series: NATO ASI Subseries F. Num Pages: 405 pages, 5 black & white tables, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 644.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 405
- Condition
- New
- SKU
- V9783642640520
- ISBN
- 9783642640520
Paperback
Condition: New
€ 128.99
€ 128.99
Paperback. This publication enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. It includes a compositional verification method for proving correctness properties. Num Pages: 253 pages, 16 black & white illustrations, 2 colour illustrations, biography. BIC Classification: UM; UN; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 253
- Condition
- New
- SKU
- V9783662514078
- ISBN
- 9783662514078
Paperback
Condition: New
€ 66.34
€ 66.34
Hardback. Verification of Business Rules Programs Num Pages: 236 pages, 16 black & white illustrations, 2 colour illustrations, biography. BIC Classification: UM; UN; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 549.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 236
- Condition
- New
- SKU
- V9783642400377
- ISBN
- 9783642400377
Hardback
Condition: New
€ 67.48
€ 67.48
Paperback. Num Pages: 520 pages, biography. BIC Classification: THR; TJF; TJFC; UGC; UMX. Category: (G) General (US: Trade). Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 520
- Condition
- New
- SKU
- V9781461498131
- ISBN
- 9781461498131
Paperback
Condition: New
€ 141.10
€ 141.10
Hardback. Describes SystemVerilog language features relevant to functional verification. This book also specifies a standard set of libraries for assertions and commonly used verification functions, such as stimulus generation, simulation control and coverage analysis, to help implement the recommended methodology. Num Pages: 503 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 2000.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 503
- Condition
- New
- SKU
- V9780387255385
- ISBN
- 9780387255385
Hardback
Condition: New
€ 211.94
€ 211.94
Paperback. Series: Frontiers in Electronic Testing. Num Pages: 231 pages, biography. BIC Classification: TJFC; UGC; UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 231
- Condition
- New
- SKU
- V9781441954022
- ISBN
- 9781441954022
Paperback
Condition: New
€ 127.73
€ 127.73
Paperback. As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages. Num Pages: 248 pages, biography. BIC Classification: UMZ; UYD; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783642423161
- ISBN
- 9783642423161
Paperback
Condition: New
€ 160.89
€ 160.89
Hardback. As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages. Num Pages: 248 pages, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 245 x 174 x 22. Weight in Grams: 718.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783642152276
- ISBN
- 9783642152276
Hardback
Condition: New
€ 161.73
€ 161.73
Hardcover. Verification and Validation for Quality of UML 2. 0 Models deals primarily with the creation and enhancement of the quality of software models. The Unified Modeling Language (UML) of the Object Management Group forms the basis of the software models discussed in this book. Series: Wiley Series in Systems Engineering and Management. Num Pages: 312 pages, Illustrations. BIC Classification: UMZL. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 26. Weight in Grams: 648.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 312
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471727835
- ISBN
- 9780471727835
Hardback
Condition: New
€ 144.52
€ 144.52
Hardback. This book examines several classes of hybrid systems, admitting symbolic models along with the relationships between them. It outlines several key verification and control synthesis results for hybrid systems. Num Pages: 202 pages, 200 black & white illustrations, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 1080.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 202
- Condition
- New
- SKU
- V9781441902238
- ISBN
- 9781441902238
Hardback
Condition: New
€ 165.03
€ 165.03
Paperback. This book examines several classes of hybrid systems, admitting symbolic models along with the relationships between them. It outlines several key verification and control synthesis results for hybrid systems. Num Pages: 202 pages, 200 black & white illustrations, biography. BIC Classification: GPFC; TJFM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 202
- Condition
- New
- SKU
- V9781441954985
- ISBN
- 9781441954985
Paperback
Condition: New
€ 160.96
€ 160.96