.png){kind=logo}
Science & Technology
Results 38541 - 38560 of 113647
Science & Technology
Formal Description Techniques for Distribution Systems and Communicati...
. Ed(S): Hogrefe, Dieter; Leue, S.
Hardback. Presents the research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques. Editor(s): Hogrefe, Dieter; Leue, S. Series: IFIP Advances in Information and Communication Technology. Num Pages: 536 pages, black & white illustrations. BIC Classification: PHDS; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 2050.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 536
- Condition
- New
- SKU
- V9780412644504
- ISBN
- 9780412644504
Hardback
Condition: New
€ 269.07
€ 269.07
hardcover. Proceedings of the NATO Advanced Research Workshop, held in Manoa, Hawaii, U.S.A., 2-6 October 2002 Editor(s): Nation, James (Department of Mathematics, University of Hawaii, Honolulu, USA); Trofimova, Irina (Collective Intelligence Lab, McMaster University, Hamilton, Canada); Rand, John D. (Department of Mathematics, University of Hawaii, Honolulu, USA); Sulis, William (Department of Psychiatry and Behavioural Neurosciences, McMaster University, Hamilton, Canada). Series: NATO Science Series II. Num Pages: 306 pages, biography. BIC Classification: PDE; PS. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 306
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402015670
- ISBN
- 9781402015670
Hardback
Condition: New
€ 133.97
€ 133.97
Paperback. Proceedings of the NATO Advanced Research Workshop, held in Manoa, Hawaii, U.S.A., 2-6 October 2002 Editor(s): Nation, James (Department of Mathematics, University of Hawaii, Honolulu, USA); Trofimova, Irina (Collective Intelligence Lab, McMaster University, Hamilton, Canada); Rand, John D. (Department of Mathematics, University of Hawaii, Honolulu, USA); Sulis, William (Department of Psychiatry and Behavioural Neurosciences, McMaster University, Hamilton, Canada). Series: NATO Science Series II. Num Pages: 306 pages, biography. BIC Classification: PDE; PS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 160 x 17. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 306
- Condition
- New
- SKU
- V9781402015687
- ISBN
- 9781402015687
Paperback
Condition: New
€ 131.49
€ 131.49
Hardback. This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. Using the formal methods described in this book produces results that are more reliable and will have higher performance. Num Pages: 219 pages, 9 black & white tables, biography. BIC Classification: TBD; TJFC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 517.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 219
- Condition
- New
- SKU
- V9781441997357
- ISBN
- 9781441997357
Hardback
Condition: New
€ 183.41
€ 183.41
Paperback. Series: Frontiers in Electronic Testing. Num Pages: 247 pages, biography. BIC Classification: THR; TJFC; UGC; UMA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 247
- Condition
- New
- SKU
- V9781461376064
- ISBN
- 9781461376064
Paperback
Condition: New
€ 226.78
€ 226.78
Paperback. Editor(s): Martin-Vide, Carlos; Mitrana, Victor; Paun, Gheorghe. Series: Studies in Fuzziness and Soft Computing. Num Pages: 620 pages, biography. BIC Classification: PBC; TBJ; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 955.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 620
- Condition
- New
- SKU
- V9783642535543
- ISBN
- 9783642535543
Paperback
Condition: New
€ 252.64
€ 252.64
Hardback. Series: Algebra and Applications. Num Pages: 156 pages, biography. BIC Classification: PBC; PBF; PBPD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 156
- Condition
- New
- SKU
- V9783319539065
- ISBN
- 9783319539065
Hardback
Condition: New
€ 116.40
€ 116.40
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. Editor(s): Boulanger, Jean-Louis. Num Pages: 374 pages, black & white illustrations, black & white tables, figures. BIC Classification: TG. Category: (P) Professional & Vocational. Dimension: 164 x 241 x 27. Weight in Grams: 704.
- Publication date
- 2012
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 374
- Condition
- New
- SKU
- V9781848213623
- ISBN
- 9781848213623
Hardback
Condition: New
€ 183.57
€ 183.57
Hardback. Series: Synthese Library. Num Pages: 170 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 444.
- Format
- Hardback
- Publication date
- 1970
- Publisher
- Springer Netherlands
- Number of pages
- 170
- Condition
- New
- SKU
- V9789027700698
- ISBN
- 9789027700698
Hardback
Condition: New
€ 131.22
€ 131.22
Hardback. A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. Editor(s): Boulanger, Jean-Louis. Num Pages: 480 pages, illustrations (black and white). BIC Classification: TBJ. Category: (P) Professional & Vocational. Dimension: 165 x 241 x 30. Weight in Grams: 848.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 480
- Condition
- New
- SKU
- V9781848216327
- ISBN
- 9781848216327
Hardback
Condition: New
€ 214.61
€ 214.61
Hardback. Series: Studies in Systems, Decision and Control. Num Pages: 284 pages, 54 black & white illustrations, 39 colour illustrations, biography. BIC Classification: GPFC; TJFM; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 284
- Condition
- New
- SKU
- V9783319507620
- ISBN
- 9783319507620
Hardback
Condition: New
€ 228.20
€ 228.20
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
€ 129.98
€ 129.98
Paperback. Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. Num Pages: 292 pages, Illustrations. BIC Classification: TBC; TJ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 17. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 292
- Condition
- New
- SKU
- V9780470876183
- ISBN
- 9780470876183
Paperback
Condition: New
€ 107.57
€ 107.57
Paperback. Editor(s): Fages, Francois; Piazza, Carla. Series: Lecture Notes in Computer Science / Lecture Notes in Bioinformatics. Num Pages: 209 pages, 46 black & white illustrations, biography. BIC Classification: PSA; UBH; UM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 209
- Condition
- New
- SKU
- V9783319103976
- ISBN
- 9783319103976
Paperback
Condition: New
€ 65.92
€ 65.92
Paperback. Num Pages: 256 pages, 1, black & white illustrations. BIC Classification: JHB; PD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 1978
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 256
- Condition
- New
- SKU
- V9783764309718
- ISBN
- 9783764309718
Paperback
Condition: New
€ 81.76€ 69.15
€ 81.76
€ 69.15
Formal Methods in the Methodology of Empirical Sciences
. Ed(S): Przelecki, Marian; Szaniawski, Kleme...
Hardback. Proceedings of the Conference for Formal Methods in the Methodology of Emperical Sciences, Warsaw, June 17-21, 1974, Poland. Editor(s): Przelecki, Marian; Szaniawski, Klemens; Wojcicki, Ryszard. Series: Synthese Library. Num Pages: 452 pages, biography. BIC Classification: PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 824.
- Format
- Hardback
- Publication date
- 1977
- Publisher
- Springer Netherlands
- Number of pages
- 452
- Condition
- New
- SKU
- V9789027706980
- ISBN
- 9789027706980
Hardback
Condition: New
€ 203.17
€ 203.17
Formal Methods in the Methodology of Empirical Sciences
. Ed(S): Przelecki, Marian; Szaniawski, A.; W...
Paperback. Proceedings of the Conference for Formal Methods in the Methodology of Emperical Sciences, Warsaw, June 17-21, 1974, Poland. Editor(s): Przelecki, Marian; Szaniawski, A.; Wojcicki, Ryszard. Series: Synthese Library. Num Pages: 452 pages, biography. BIC Classification: HPC; PDA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1976
- Number of pages
- 452
- Condition
- New
- SKU
- V9789401011372
- ISBN
- 9789401011372
Paperback
Condition: New
€ 195.70
€ 195.70
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 281 pages, biography. BIC Classification: PBW. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 15. Weight in Grams: 419.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 281
- Condition
- New
- SKU
- V9783540216711
- ISBN
- 9783540216711
Paperback
Condition: New
€ 70.03
€ 70.03
Paperback. Constitutes the refereed post-proceedings of the Third International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2005. The papers cover work on semantics and modelling of timed systems, formalisms for modelling and verification, including timed automata, hybrid automata, games for verification and synthesis, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 314 pages, biography. BIC Classification: PBW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 451.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 314
- Condition
- New
- SKU
- V9783540309468
- ISBN
- 9783540309468
Paperback
Condition: New
€ 70.58
€ 70.58
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006. This book presents 22 revised full papers together with 3 invited talks. It covers coverage that includes work on foundations and semantics of timed systems including timed automata, timed Petri nets, and more. Series: Lecture Notes in Computer Science. Num Pages: 384 pages, biography. BIC Classification: PBW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 1200.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 384
- Condition
- New
- SKU
- V9783540450269
- ISBN
- 9783540450269
Paperback
Condition: New
€ 71.93
€ 71.93