.png){kind=logo}
Computer programming / software development
Results 7401 - 7420 of 7660
Computer programming / software development
Paperback / so. Editor(s): Broy, Manfred; Spaniol, Otto. Series: VDI-Buch. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV3; TJK; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 44. Weight in Grams: 1374.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2
- Condition
- New
- SKU
- V9783642468469
- ISBN
- 9783642468469
Paperback
Condition: New
€ 123.52
€ 123.52
Paperback. Series: Artificial Intelligence. Num Pages: 677 pages, 88 black & white tables, biography. BIC Classification: HP; UMB; UYQL; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 1044.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 677
- Condition
- New
- SKU
- V9783642087301
- ISBN
- 9783642087301
Paperback
Condition: New
€ 197.95
€ 197.95
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
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. 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
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
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. 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. 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. 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
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. 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
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
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. 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
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
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Logozzo, Francesco; Peled, Doron A.;...
Paperback. This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods. Editor(s): Logozzo, Francesco; Peled, Doron A.; Zuck, Leonore D. Series: Lecture Notes in Computer Science. Num Pages: 335 pages, biography. BIC Classification: UM. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 335
- Condition
- New
- SKU
- V9783540781622
- ISBN
- 9783540781622
Paperback
Condition: New
€ 67.43
€ 67.43
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 397 pages, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 397
- Condition
- New
- SKU
- V9783642113185
- ISBN
- 9783642113185
Paperback
Condition: New
€ 68.05
€ 68.05
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Giacobazzi, Roberto; Berdine, Josh; ...
Paperback. Editor(s): Giacobazzi, Roberto; Berdine, Josh; Mastroeni, Isabella. Series: Lecture Notes in Computer Science. Num Pages: 567 pages, 123 black & white illustrations, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 789.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 567
- Condition
- New
- SKU
- V9783642358722
- ISBN
- 9783642358722
Paperback
Condition: New
€ 69.64
€ 69.64
Paperback. Editor(s): McMillan, Kenneth; Rival, Xavier. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 511 pages, 120 black & white illustrations, biography. BIC Classification: UKN; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 511
- Condition
- New
- SKU
- V9783642540127
- ISBN
- 9783642540127
Paperback
Condition: New
€ 68.61
€ 68.61