{"title":"Gerard J Holzmann","description":null,"products":[{"product_id":"early-history-of-data-networks-book-gerard-j-holzmann-9780818667824","title":"The Early History of Data Networks","description":"Most of us would consider the emergence of large-scale communication networks to be a 20th century phenomenon. Yet, the first nationwide data networks were built not in this century but almost 200 years ago. Well before the electromagnetic telegraph was invented, many countries in Europe had fully operational data communications systems, with altogether close to 1,000 network stations.\u003cbr\u003e \u003cbr\u003e This book gives a fascinating glimpse of the many documented attempts throughout history to develop effective means for long-distance communications. The oldest attempts date back to millennia before Christ, and include ingenious uses of homing pigeons, mirrors, flags, torches, and beacons.\u003cbr\u003e \u003cbr\u003e The book then shows how Claude Chappe, a French clergyman, started the information revolution in 1794 with the design and construction of the first true telegraph network in France. Another chapter contains the first complete English translation of a remarkable document on the design of optical telegraphs networks, originally written in 1796 by the Swedish nobleman Abraham Niclas Edelcrantz.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49536437715217,"sku":"GOR013325992","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50363002487057,"sku":"CIN0818667826G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52135612481809,"sku":"NLS9780818667824","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/B00744DQ24.jpg?v=1750703614"},{"product_id":"design-and-validation-of-computer-protocols-book-gerard-j-holzmann-9780135399255","title":"Design And Validation Of Computer Protocols","description":"Designed to be more than just a guide to protocol standards, codes and formats, this text offers a systematic approach for designing complete and consistent protocol systems with the power to govern the interactions of concurrent processes in distributed systems. Specifically intended as a guide to protocol design and analysis, the text familiarizes readers with all the issues of protocol design including general and specific techniques for process co-ordination.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49939103449361,"sku":"CIN0135399254G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":50345147400465,"sku":"CIN0135399254A","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50936367087889,"sku":"GOR004996903","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0135399254.jpg?v=1751100530"},{"product_id":"spin-model-checker-book-gerard-j-holzmann-9780321228628","title":"The SPIN Model Checker","description":"SPIN is a tool for improving software reliability. This comprehensive reference guide to SPIN covers the tool's specification language and theoretical foundation, and gives detailed advice on methods for tackling the most complex software verification problems.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50407785005329,"sku":"GOR007475774","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":52103632552209,"sku":"CIN0321228626G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0321228626.jpg?v=1751357284"},{"product_id":"design-and-validation-of-computer-protocols-book-gerard-j-holzmann-9780135398340","title":"Design and Validation of Computer Protocols","description":"More than just a guide to protocol standards, codes and formats, this text offers a systematic approach for designing complete and consistent protocol systems with the power to govern the interactions of concurrent processes in distributed systems. Specifically intended as a guide to protocol design and analysis, the text familiarizes readers with all the issues of protocol design including general and specific techniques for process co-ordination.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50981452284177,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50981452480785,"sku":"GOR007383804","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0135398347.jpg?v=1751323041"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-gerard-j-holzmann.oembed","provider":"World of Books ","version":"1.0","type":"link"}