.png){kind=logo}
Computing
Results 1081 - 1100 of 30855
Computing
Hardcover. Verilog is a Hardware Description Language (HDL) used to design and document electronic systems. Verilog HDL allows designers to virtually design systems without expending time or resources on physical models. It is the most widely used HDL with a user community of more than 50,000 active designers. Num Pages: 336 pages, Illustrations. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 22. Weight in Grams: 588.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 336
- Condition
- New
- SKU
- V9780471429760
- ISBN
- 9780471429760
Hardback
Condition: New
€ 171.28
€ 171.28
Verilog and SystemVerilog Gotchas: 101 Common Coding Errors and How to...
Sutherland, Stuart, Mills, Don
Hardcover. This book will help engineers write better Verilog/SystemVerilog design and verification code as well as deliver digital designs to market more quickly. It shows over 100 common coding mistakes that can be made with the Verilog and SystemVerilog languages. Num Pages: 218 pages, 1 black & white tables, biography. BIC Classification: TJFC; UGC; UK. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9780387717142
- ISBN
- 9780387717142
Hardback
Condition: New
€ 205.60
€ 205.60
Paperback. This book will help engineers write better Verilog/SystemVerilog design and verification code as well as deliver digital designs to market more quickly. It shows over 100 common coding mistakes that can be made with the Verilog and SystemVerilog languages. Num Pages: 218 pages, 1 black & white tables, biography. BIC Classification: TJFC; UGC; UK. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 218
- Condition
- New
- SKU
- V9781441944023
- ISBN
- 9781441944023
Paperback
Condition: New
€ 149.83
€ 149.83
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 135 pages, black & white illustrations, bibliography. BIC Classification: THR; TJFC; UGC; UK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 8. Weight in Grams: 242.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 135
- Condition
- New
- SKU
- V9781461356912
- ISBN
- 9781461356912
Paperback
Condition: New
€ 126.34
€ 126.34
Paperback. Num Pages: 306 pages, biography. BIC Classification: THR; TJFC; UGC; UK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2013
- Edition
- Softcover reprint of the original 1st ed. 1997
- Condition
- New
- SKU
- V9781461378013
- ISBN
- 9781461378013
Paperback
Condition: New
€ 67.33
€ 67.33
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, biography. BIC Classification: UM; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 11. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 1982
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783540112051
- ISBN
- 9783540112051
Paperback
Condition: New
€ 68.56
€ 68.56
Paperback. Editor(s): Gurfinkel, Arie; Seshia, Sanjit A. Series: Lecture Notes in Computer Science. Num Pages: 232 pages, 41 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 232
- Condition
- New
- SKU
- V9783319296128
- ISBN
- 9783319296128
Paperback
Condition: New
€ 66.16
€ 66.16
Paperback. Editor(s): Giannakopoulou, Dimitra; Kroening, Daniel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 297 pages, 107 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 297
- Condition
- New
- SKU
- V9783319121536
- ISBN
- 9783319121536
Paperback
Condition: New
€ 66.73
€ 66.73
Paperback. Editor(s): Cohen, Ernie; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 361 pages, 83 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 361
- Condition
- New
- SKU
- V9783642541070
- ISBN
- 9783642541070
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Editor(s): Blazy, Sandrine; Chechik, Marsha. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 36 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 213
- Condition
- New
- SKU
- V9783319488684
- ISBN
- 9783319488684
Paperback
Condition: New
€ 65.98
€ 65.98
Paperback. Editor(s): Meyer, Bertrand; Woodcock, James. Series: Lecture Notes in Computer Science. Num Pages: 546 pages, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 866.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 546
- Condition
- New
- SKU
- V9783540691471
- ISBN
- 9783540691471
Paperback
Condition: New
€ 130.48
€ 130.48
Paperback. Contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. This book includes the sharing and interoperability of tools, the alignment of theory and practice, and the identification of challenge problems. Editor(s): Woodcock, James. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 275 pages, biography. BIC Classification: UMB; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783540878728
- ISBN
- 9783540878728
Paperback
Condition: New
€ 66.97
€ 66.97
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Jobstmann, Barbara; Leino, K. Rustan...
Paperback. Editor(s): Jobstmann, Barbara; Leino, K. Rustan M. Series: Lecture Notes in Computer Science. Num Pages: 571 pages, 123 colour illustrations, biography. BIC Classification: UMZT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 866.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 571
- Condition
- New
- SKU
- V9783662491218
- ISBN
- 9783662491218
Paperback
Condition: New
€ 69.67
€ 69.67
Verification, Model Checking, and Abstract Interpretation
. Ed(S): D'Souza, Deepak; Lal, Akash; Larsen,...
Paperback. Editor(s): D'Souza, Deepak; Lal, Akash; Larsen, Kim Gulstrand. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 486 pages. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 486
- Condition
- New
- SKU
- V9783662460801
- ISBN
- 9783662460801
Paperback
Condition: New
€ 68.41
€ 68.41
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
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. 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
Paperback. Covers the proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009. This book addresses issues from the communities of verification, model checking, and abstract interpretation. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 392 pages, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540938996
- ISBN
- 9783540938996
Paperback
Condition: New
€ 67.95
€ 67.95
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. Constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 406 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 406
- Condition
- New
- SKU
- V9783540697350
- ISBN
- 9783540697350
Paperback
Condition: New
€ 68.12
€ 68.12