×


 x 

Shopping cart

Computing

Results 3821 - 3840 of 11170

Computing

Hardback. Series: ISTE. Num Pages: 338 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 158 x 24. Weight in Grams: 644.
Format
Hardback
Publication date
2014
Publisher
ISTE Ltd and John Wiley & Sons Inc United Kingdom
Number of pages
338
Condition
New
Edition
1st Edition
SKU
V9781848216150
ISBN
9781848216150
Hardback
Condition: New

€ 178.86

Hardback. Num Pages: 246 pages, black & white illustrations. BIC Classification: UM; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 158 x 20. Weight in Grams: 572.
Format
Hardback
Publication date
2014
Publisher
ISTE Ltd and John Wiley & Sons Inc United Kingdom
Number of pages
246
Condition
New
Edition
1st Edition
SKU
V9781848217881
ISBN
9781848217881
Hardback
Condition: New

€ 178.22

paperback. Editor(s): Dong, Jin Song; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 712 pages, 202 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1016.
Format
Paperback
Publication date
2010
Publisher
Springer Germany
Edition
2010th Edition
Number of pages
712
Condition
New
SKU
V9783642169007
ISBN
9783642169007
Paperback
Condition: New

€ 131.97

Paperback. .
Publisher
Springer International Publishing AG
Format
Paperback
Publication date
2016
Edition
1st ed. 2016
Condition
New
SKU
V9783319478456
ISBN
9783319478456
Paperback
Condition: New

€ 71.19
€ 26.77

Paperback. This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing. Series: Lecture Notes in Computer Science. Num Pages: 370 pages, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 593.
Publisher
Springer
Format
Paperback
Publication date
2008
Edition
2008th Edition
Condition
New
SKU
V9783540789161
ISBN
9783540789161
Paperback
Condition: New

€ 66.05

Hardback. Editor(s): Boulanger, Jean-Louis. Num Pages: 496 pages, illustrations (black and white). BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 32. Weight in Grams: 884.
Format
Hardback
Publication date
2014
Publisher
ISTE Ltd and John Wiley & Sons Inc United Kingdom
Number of pages
496
Condition
New
Edition
1st Edition
SKU
V9781848217096
ISBN
9781848217096
Hardback
Condition: New

€ 222.80

Paperback. All modern industries rely on large and complex software systems. This survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. Editor(s): Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University); Hallerstede, Stefan; Leuschel, Michael. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 339 pages, 56 black & white illustrations, 55 colour illustrations, biography. BIC Classification: UL; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 499.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
339
Condition
New
SKU
V9783642170706
ISBN
9783642170706
Paperback
Condition: New

€ 67.49

Paperback. This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. It contains 20 revised contributions submitted after the symposium by the speakers. Editor(s): Aichernig, Bernhard K.; Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 393 pages, 145 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 617.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2012
Number of pages
393
Condition
New
SKU
V9783642252709
ISBN
9783642252709
Paperback
Condition: New

€ 67.91

Hardback. Addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. This book covers the topics: model checking theory and applications; verification and theorem proving; testing theory and applications; and multicast protocol analysis and simulation. Editor(s): Bolognesi, Tommaso; Latella, Diego. Series: IFIP Advances in Information and Communication Technology. Num Pages: 423 pages, biography. BIC Classification: UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 1710.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
423
Condition
New
SKU
V9780792379683
ISBN
9780792379683
Hardback
Condition: New

€ 248.72

Paperback. In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. Editor(s): Abrial, J-.R.; Borger, E.; Langmaack, Hans. Series: Lecture Notes in Computer Science. Num Pages: 532 pages, biography. BIC Classification: KN; TGBN1; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738.
Format
Paperback
Publication date
1996
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
532
Condition
New
SKU
V9783540619291
ISBN
9783540619291
Paperback
Condition: New

€ 124.27

Paperback. Constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM International Conference on Automated Software Engineering. Editor(s): Kowalewski, Stefan; Roveri, Marco. Series: Lecture Notes in Computer Science. Num Pages: 231 pages, 82 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 386.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
231
Condition
New
SKU
V9783642158971
ISBN
9783642158971
Paperback
Condition: New

€ 66.76

Hardback. The advent of Open Object-based Distributed Systems (OODS) brings challenges and opportunities for the use and development of formal methods. This book presents the research in several related fields, and the exchange of ideas and experiences in a number of topics. Editor(s): Najm, E.; Stefani, Jean-Bernard. Series: IFIP Advances in Information and Communication Technology. Num Pages: 422 pages, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 774.
Format
Hardback
Publication date
1996
Publisher
Chapman and Hall United Kingdom
Number of pages
422
Condition
New
SKU
V9780412797705
ISBN
9780412797705
Hardback
Condition: New

€ 248.72

Hardback. Deals with the object orientated programming, open distributed systems and formal methods for object oriented systems. This book discusses areas such as: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object oriented methods. Editor(s): Bowman, Howard; Derrick, John. Series: IFIP Advances in Information and Communication Technology. Num Pages: 482 pages, biography. BIC Classification: UMN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1890.
Format
Hardback
Publication date
1997
Publisher
Chapman and Hall United Kingdom
Number of pages
482
Condition
New
SKU
V9780412820403
ISBN
9780412820403
Hardback
Condition: New

€ 258.69

Hardback. Brings together research in three important and related fields: Formal methods; Distributed systems; and Object-based technology. This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) held in Enschede, The Netherlands in March 2002. Editor(s): Jacobs, Bart (University of Nijmegen, Netherlands); Rensink, Arendt (University of Twente, Enschede, Netherlands). Series: IFIP Advances in Information and Communication Technology. Num Pages: 290 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 413.
Format
Hardback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Edition
annotated ed
Number of pages
290
Condition
New
SKU
V9780792376835
ISBN
9780792376835
Hardback
Condition: New

€ 124.81

hardcover. Editor(s): Nanda, Manju; Jeppu, Yogananda. Num Pages: 112 pages, 18 black & white illustrations, 24 colour illustrations, 24 colour tables, biography. BIC Classification: PBKQ; TGPR; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
Format
Hardback
Publication date
2017
Publisher
Springer Singapore
Edition
1st ed. 2018
Number of pages
112
Condition
New
SKU
V9789811041204
ISBN
9789811041204
Hardback
Condition: New

€ 133.56

Paperback. Editor(s): Sankaranarayanan, Sriram; Vicario, Enrico. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 90 black & white illustrations, biography. BIC Classification: UB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
331
Condition
New
SKU
V9783319229744
ISBN
9783319229744
Paperback
Condition: New

€ 64.15

paperback. Constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg, Austria in September 2010. This title includes 14 papers that were presented are carefully reviewed and selected from 31 submissions. It contains three invited talks and two invited tutorials. Editor(s): Chatterjee, Krishnendu; Henzinger, Thomas A. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, 55 black & white illustrations, biography. BIC Classification: GPFC; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 408.
Format
Paperback
Publication date
2010
Publisher
Springer Germany
Number of pages
257
Condition
New
Edition
2010th Edition
SKU
V9783642152962
ISBN
9783642152962
Paperback
Condition: New

€ 66.90

Hardback. Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL. Num Pages: 158 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 438.
Format
Hardback
Publication date
1998
Publisher
Kluwer Academic Publishers United States
Number of pages
158
Condition
New
SKU
V9780792383758
ISBN
9780792383758
Hardback
Condition: New

€ 126.68

Hardcover. .
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format
Hardback
Publication date
2016
Edition
1st ed. 2016
Condition
New
SKU
V9783662504161
ISBN
9783662504161
Hardback
Condition: New

€ 59.32
€ 58.29

Paperback. Constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. Editor(s): Hatcliff, John; Zucca, Elena. Series: Lecture Notes in Computer Science. Num Pages: 233 pages, 40 black & white illustrations, biography. BIC Classification: UTR. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 386.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
233
Condition
New
SKU
V9783642134630
ISBN
9783642134630
Paperback
Condition: New

€ 66.76

Subscribe to our newsletter

News on special offers, signed editions & more!