Computer programming / software development
Results 141 - 160 of 4079
Computer programming / software development
Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 145
- Condition
- New
- SKU
- V9783642171710
- ISBN
- 9783642171710
Paperback
Condition: New
€ 65.93
€ 65.93
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
€ 103.39
€ 103.39
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
€ 134.18
€ 134.18
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
€ 121.55
€ 121.55
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
€ 142.45
€ 142.45
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
€ 158.02
€ 158.02
Book. Based on "VBScript in a Nutshell", this book details every VBScript language element both in VBScript itself and in the Microsoft Scripting Runtime Library. Entries are arranged alphabetically by topic. In addition, appendixes list VBScript operators and VBScript intrinsic constants. Num Pages: 140 pages, Ill. BIC Classification: GBC; UMX. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 185 x 112 x 8. Weight in Grams: 100.
- Publisher
- O´Reilly Media, Inc, USA United States
- Number of pages
- 140
- Format
- Paperback
- Publication date
- 2001
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780596001261
- ISBN
- 9780596001261
Paperback
Condition: New
€ 17.18
€ 17.18
Paperback. The second edition of this concise guide to VBScript includes additional chapters and a complete reference that has been fully updated to cover all aspects of the latest version of the software. Num Pages: 514 pages, 1, black & white illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 153 x 229 x 35. Weight in Grams: 732.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- O´Reilly Media United States
- Edition
- 2nd Edition
- Number of pages
- 514
- Condition
- New
- SKU
- V9780596004880
- ISBN
- 9780596004880
Paperback
Condition: New
€ 52.99€ 50.02
€ 52.99
€ 50.02
Paperback. This title offers the convenience of a quick reference in a small and convenient format. The guide presents syntax and brief descriptions of each Visual Basic .NET language element. Num Pages: 144 pages. BIC Classification: ULD; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 179 x 107 x 10. Weight in Grams: 124.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- O´Reilly Media United States
- Edition
- 1st Edition
- Number of pages
- 144
- Condition
- New
- SKU
- V9780596004286
- ISBN
- 9780596004286
Paperback
Condition: New
€ 12.56
€ 12.56
Paperback. In the tradition of "Java in a Nutshell", this book boils down the essentials of VB and VBA, and includes undocumented areas essential to everyday programming. Num Pages: 652 pages, 1, black & white illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 228 x 155 x 35. Weight in Grams: 908.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- O'Reilly Media, Inc, USA United States
- Edition
- 1st
- Number of pages
- 652
- Condition
- New
- SKU
- V9781565923584
- ISBN
- 9781565923584
Paperback
Condition: New
€ 42.99€ 40.59
€ 42.99
€ 40.59
Hardcover. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 260 x 211 x 59. Weight in Grams: 2572.
- Publisher
- Pearson Education Limited United Kingdom
- Format
- Hardback
- Publication date
- 2005
- Condition
- New
- SKU
- V9781405837309
- ISBN
- 9781405837309
Hardback
Condition: New
€ 90.07
€ 90.07
Paperback. Learn basic and advanced uses of WebPagetest, the performance measurement tool for optimizing websites. This practical guide shows users new to this tool how run tests and interpret results, and helps experienced users gain a better and more thorough understanding of hidden features in WebPagetest that make testing easier. Num Pages: 214 pages. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 181 x 233 x 14. Weight in Grams: 710.
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491902592
- ISBN
- 9781491902592
Paperback
Condition: New
€ 32.99€ 31.27
€ 32.99
€ 31.27
Using WAVES and VHDL for Effective Design and Testing
Hanna, James P.; Hillman, Robert G.; Hirsch, ...
Hardback. While VHDL was an IEEE standard language, and consistency among myriad designers was fairly well guaranteed, no such standard existed for test waveform generation and assessment. The Waveform and Vector Exchange Specification, or WAVES, was conceived and designed to solve this testing problem - and it has. This book deals with this topic. Num Pages: 304 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 19. Weight in Grams: 1420.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 304
- Condition
- New
- SKU
- V9780792397991
- ISBN
- 9780792397991
Hardback
Condition: New
€ 192.22
€ 192.22
Paperback. The standard template library for C++ (the STL) is an important addition to C++ and is rapidly becoming required knowledge for all C++ programmers. This title provides a collection of generic data structures and algorithms written in C++ and has been adopted by the ANSI committee for the standardization of C++. Num Pages: 594 pages, 119 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 31. Weight in Grams: 1054.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd ed. 2000
- Number of pages
- 594
- Condition
- New
- SKU
- V9780387988573
- ISBN
- 9780387988573
Paperback
Condition: New
€ 125.49
€ 125.49
Paperback. Until now, web applications have been unable to organize binary data into a hierarchy of folders. That has changed with the advent of HTML5. With this book, you'll learn how to provide your applications with a true file system that enables them to create, read, and write files ands folders in a sandboxed section of the user's local filesystem. Num Pages: 74 pages, black & white illustrations. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 233 x 178 x 4. Weight in Grams: 137.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- O´Reilly Media United States
- Number of pages
- 74
- Condition
- New
- SKU
- V9781449309459
- ISBN
- 9781449309459
Paperback
Condition: New
€ 21.87
€ 21.87
Paperback. Num Pages: 489 pages, 68 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 184 x 259 x 28. Weight in Grams: 970.
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781484200056
- ISBN
- 9781484200056
Paperback
Condition: New
€ 64.68€ 58.73
€ 64.68
€ 58.73
Paperback. Using SVG with CSS3 and HTML5 starts with the basics, explaining how simple shapes and icons are defined in SVG, and then builds upon that foundation to create complex graphics and interactive, animated applications. It covers all the features you're likely to come across in web design, while avoiding areas with poor browser support. Num Pages: 650 pages. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 250 x 150 x 15. Weight in Grams: 666.
- Publisher
- O´Reilly Media
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491921975
- ISBN
- 9781491921975
Paperback
Condition: New
€ 61.62€ 47.33
€ 61.62
€ 47.33
Paperback. .
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484224748
- ISBN
- 9781484224748
Paperback
Condition: New
€ 46.99€ 38.01
€ 46.99
€ 38.01
Paperback. If you're new to content management systems - or even new to building websites - this practical guide will get you up and running in no time. You don't have to know much code, if any, to get started. Num Pages: 362 pages, illustrations. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 180 x 232 x 22. Weight in Grams: 610.
- Publisher
- O´Reilly Media United States
- Number of pages
- 350
- Format
- Paperback
- Publication date
- 2014
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781449345396
- ISBN
- 9781449345396
Paperback
Condition: New
€ 42.99€ 40.59
€ 42.99
€ 40.59
Hardback. Using Event-B for Critical Device Software Systems Num Pages: 326 pages, 20 black & white tables, biography. BIC Classification: MQW; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 326
- Condition
- New
- SKU
- V9781447152590
- ISBN
- 9781447152590
Hardback
Condition: New
€ 123.94
€ 123.94