×


 x 

Shopping cart

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Paperback. .
Publisher
Apress
Format
Paperback
Publication date
2017
Edition
1st ed.
Condition
New
SKU
V9781484224748
ISBN
9781484224748
Paperback
Condition: New

€ 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

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

Subscribe to our newsletter

News on special offers, signed editions & more!