{"title":"Formal Methods (Computer Science)","description":null,"products":[{"product_id":"way-of-z-cambridge-university-press-9780521559768-practical-programming-with-formal-methods-jonathan-jacky","title":"Way of Z","description":"\u003cp\u003eDiscover the intricacies of formal methods with Jonathan Jacky's insightful book, \u003cstrong\u003eWay of Z\u003c\/strong\u003e, published by Cambridge University Press in 1996. This comprehensive tutorial is designed for experienced programming professionals eager to enhance their skills in applying the Z notation to practical projects.\u003c\/p\u003e\n\n\u003cp\u003eSpanning 372 pages, the book delves into the real-world applications of formal methods, offering a unique perspective on their implementation within the C programming language. Through engaging case studies, Jacky explores vital examples from safety-critical systems, computer graphics, word processing, databases, and object-oriented programming. \u003c\/p\u003e\n\n\u003cp\u003eWhether you are a software engineer or a programming language enthusiast, \u003cstrong\u003eWay of Z\u003c\/strong\u003e serves as an essential guide to mastering formal techniques in software development. Enhance your knowledge and elevate your projects with this invaluable resource.\u003c\/p\u003e","brand":"Jonathan Jacky","offers":[{"title":"Default Title","offer_id":52224240615766,"sku":"9780521559768","price":71.54,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521559768.jpg?v=1767737535"},{"product_id":"teamwork-in-multi-agent-systems-john-wiley-sons-inc-9780470699881-a-formal-approach-barbara-dunin-k-plicz","title":"Teamwork in Multi-Agent Systems","description":"\u003cp\u003eDiscover the intricacies of collaboration with \"Teamwork in Multi-Agent Systems\" by Barbara Dunin-Kęplicz. Published by John Wiley \u0026amp; Sons Inc in 2010, this insightful hardback book spans 244 pages and delves deep into the dynamics of teamwork in the context of artificial intelligence and intelligent agents. Explore how effective cooperation shapes both everyday interactions and complex applications, emphasizing that many tasks are best accomplished by teams rather than individual agents. This book is essential for anyone interested in the formal methods of computer science and aims to unravel the essential rules that govern successful teamwork. Equip yourself with the knowledge to understand how social groups of agents can work together to achieve shared goals!\u003c\/p\u003e","brand":"Barbara Dunin-Kȩplicz","offers":[{"title":"Default Title","offer_id":52226965209430,"sku":"9780470699881","price":96.94,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780470699881.jpg?v=1767740916"},{"product_id":"runtime-verification-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783642356315-third-international-conference-rv-2012-istanbul-turkey-september-25-28-2012-revised-selected-papers-turkey-rv-conference-3rd-2012-istanbul","title":"Runtime Verification","description":"\u003cp\u003e\u003cstrong\u003eRuntime Verification\u003c\/strong\u003e by Turkey) RV (Conference) (3rd 2012 Istanbul.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2013), Paperback, 322 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer software, Congresses, Verification, Formal methods (Computer science).\u003c\/p\u003e","brand":"Turkey) RV (Conference) (3rd 2012 Istanbul","offers":[{"title":"Default Title","offer_id":52229875990870,"sku":"9783642356315","price":54.55,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783642356315.jpg?v=1767745766"},{"product_id":"rigorous-methods-for-software-construction-and-analysis-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783642114465-essays-dedicated-to-egon-borger-on-the-occasion-of-his-60th-birthday-jean-raymond-abrial","title":"Rigorous Methods for Software Construction and Analysis","description":"\u003cp\u003eDiscover \"Rigorous Methods for Software Construction and Analysis,\" authored by Jean-Raymond Abrial and published by Springer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG in 2010. This authoritative paperback edition spans 235 pages and serves as a valuable resource in the field of formal methods in computer science.\u003c\/p\u003e\n\n\u003cp\u003eThis Festschrift volume honors the contributions of Egon Borger and includes 14 insightful papers presented during a Dagstuhl Seminar. The collection delves into a diverse range of applied research topics, exploring theoretical foundations, methodological insights, and their practical applications in software engineering. Whether you're a researcher, practitioner, or student, this book is essential for understanding the rigorous approaches that enhance software construction and analysis.\u003c\/p\u003e \n\n\u003cp\u003eExpand your knowledge and elevate your skills with this comprehensive guide that bridges theory and practice in software methodologies.\u003c\/p\u003e","brand":"Jean-Raymond Abrial","offers":[{"title":"Default Title","offer_id":52230237061462,"sku":"9783642114465","price":54.55,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783642114465.jpg?v=1767746430"},{"product_id":"process-algebra-for-parallel-and-distributed-processing-taylor-francis-ltd-9780367386108-michael-alexander","title":"Process Algebra for Parallel and Distributed Processing","description":"","brand":"Michael Alexander","offers":[{"title":"Default Title","offer_id":52231705493846,"sku":"9780367386108","price":76.38,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780367386108.jpg?v=1767748715"},{"product_id":"practical-uml-statecharts-in-c-c-elsevier-science-technology-9780750687065-event-driven-programming-for-embedded-systems-miro-samek","title":"Practical UML Statecharts in C\/C++","description":"\u003cp\u003eDescribes a lightweight, open source infrastructure, called QP that enables direct manual coding UML statecharts and concurrent event-driven applications in C or C++ without big tools. This book focuses on core concepts rather than tools which are always changing allowing the reader to continue to use this information with various projects.\u003c\/p\u003e","brand":"Miro Samek","offers":[{"title":"Default Title","offer_id":52231964557654,"sku":"9780750687065","price":72.74,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780750687065.jpg?v=1767749164"},{"product_id":"nasa-formal-methods-springer-nature-switzerland-ag-9783030206512-11th-international-symposium-nfm-2019-houston-tx-usa-may-7-9-2019-proceedings-julia-m-badger","title":"NASA Formal Methods","description":"\u003cp\u003eExplore the cutting-edge research in formal methods with \u003cstrong\u003eNASA Formal Methods\u003c\/strong\u003e, authored by \u003cstrong\u003eJulia M. Badger\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019, compiles the proceedings from the 11th International Symposium on NASA Formal Methods (NFM 2019), held in Houston, TX. With a total of \u003cstrong\u003e392 pages\u003c\/strong\u003e, this book features 20 full papers and 8 short papers, all meticulously reviewed and selected from over 100 submissions. Ideal for researchers and practitioners in the field, this collection delves into innovative methodologies and applications that enhance the reliability and safety of software systems in aerospace and beyond. Don’t miss the opportunity to gain insights from leading experts and expand your knowledge in formal methods.\u003c\/p\u003e","brand":"Julia M. Badger","offers":[{"title":"Default Title","offer_id":52234364846422,"sku":"9783030206512","price":72.74,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030206512.jpg?v=1767753530"},{"product_id":"modeling-and-verification-of-real-time-systems-iste-ltd-and-john-wiley-sons-inc-9781848210134-formalisms-and-software-tools","title":"Modeling and Verification of Real-time Systems","description":"\u003cp\u003eDiscover the essential insights into real-time systems with \"Modeling and Verification of Real-time Systems,\" authored by experts in the field and published by ISTE Ltd and John Wiley \u0026amp; Sons Inc in 2008. This comprehensive hardback edition spans 448 pages, providing a thorough exploration of mathematical models and formal verification techniques crucial for the design and analysis of real-time systems.\u003c\/p\u003e \u003cp\u003eDelve into a variety of critical topics, including model checking, probabilistic modeling, and verification, as well as programming and description languages. The book also covers validation approaches grounded in testing, making it an invaluable resource for both students and professionals seeking to enhance their understanding of real-time systems. Equip yourself with the knowledge to tackle complex challenges in this dynamic field today!\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52235019944278,"sku":"9781848210134","price":256.99,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848210134.jpg?v=1767754678"},{"product_id":"modeling-in-event-b-cambridge-university-press-9780521895569-system-and-software-engineering-jean-raymond-abrial","title":"Modeling in Event-B","description":"\u003cp\u003eDiscover the power of formal methods with \u003cstrong\u003eModeling in Event-B\u003c\/strong\u003e by \u003cstrong\u003eJean-Raymond Abrial\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2010. This comprehensive hardback edition spans \u003cstrong\u003e612 pages\u003c\/strong\u003e and serves as an essential resource for both introductory and advanced courses in formal methods.\u003c\/p\u003e \n\n\u003cp\u003eDelve into a mathematical approach to modeling and designing systems through the innovative extension of the B formal method known as Event-B. The book is rich with a diverse array of examples and exercises tailored to accommodate readers of all skill levels, ensuring a thorough understanding of the concepts presented.\u003c\/p\u003e \n\n\u003cp\u003eWhether you are a student, educator, or professional in the field of computer science, \u003cstrong\u003eModeling in Event-B\u003c\/strong\u003e is a vital addition to your library, providing insights into mathematical models and the verification of computer systems.\u003c\/p\u003e","brand":"Jean-Raymond Abrial","offers":[{"title":"Default Title","offer_id":52235315872086,"sku":"9780521895569","price":153.99,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521895569.jpg?v=1767755237"},{"product_id":"formal-methods-iste-ltd-and-john-wiley-sons-inc-9781848213623-industrial-use-from-model-to-the-code-jean-louis-boulanger","title":"Formal Methods","description":"\u003cp\u003eDiscover the essential insights of \u003cstrong\u003eFormal Methods\u003c\/strong\u003e by \u003cstrong\u003eJean-Louis Boulanger\u003c\/strong\u003e, published by ISTE Ltd and John Wiley \u0026amp; Sons Inc in 2012. This comprehensive hardback edition spans \u003cstrong\u003e384 pages\u003c\/strong\u003e and delves into the evolution and application of formal analysis programming techniques, which have been pivotal in software development since their introduction in the 1980s. \u003c\/p\u003e \u003cp\u003eFormal methods are crucial for analyzing the behavior of software applications, allowing developers to ensure reliability and correctness in their programming languages. This book serves as an invaluable resource for professionals in application software, data processing, and management, particularly within the railroad industry. Enhance your understanding of these foundational techniques and their impact on modern software engineering with Boulanger's expert guidance. Perfect for both newcomers and seasoned practitioners, \u003cstrong\u003eFormal Methods\u003c\/strong\u003e is a must-have addition to your technical library.\u003c\/p\u003e","brand":"Jean-Louis Boulanger","offers":[{"title":"Default Title","offer_id":52243232325974,"sku":"9781848213623","price":168.48,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848213623.jpg?v=1767766226"},{"product_id":"formal-methods-for-industrial-critical-systems-john-wiley-sons-inc-9780470876183-a-survey-of-applications-stefania-gnesi","title":"Formal Methods for Industrial Critical Systems","description":"\u003cp\u003eExplore the vital role of formal methods in the design of industrial safety-critical systems with \u003cstrong\u003eFormal Methods for Industrial Critical Systems\u003c\/strong\u003e by \u003cstrong\u003eStefania Gnesi\u003c\/strong\u003e. Published by \u003cstrong\u003eJohn Wiley \u0026amp; Sons Inc\u003c\/strong\u003e in 2013, this comprehensive paperback spans 292 pages, offering an in-depth look at the application of formal methods in computer engineering. As industries increasingly prioritize safety and reliability, understanding these methodologies becomes essential for engineers and developers alike. This book serves as a crucial resource for professionals seeking to enhance their knowledge and implementation of formal techniques in critical systems. Discover how formal methods can significantly improve the safety and performance of your projects today!\u003c\/p\u003e","brand":"Stefania Gnesi","offers":[{"title":"Default Title","offer_id":52244023214422,"sku":"9780470876183","price":99.37,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780470876183.jpg?v=1767767482"},{"product_id":"formal-methods-in-human-computer-interaction-cambridge-university-press-9780521448673-michael-harrison","title":"Formal Methods in Human-Computer Interaction","description":"\u003cp\u003eExplore the intersection of technology and user experience with \u003cstrong\u003eFormal Methods in Human-Computer Interaction\u003c\/strong\u003e by \u003cstrong\u003eMichael Harrison\u003c\/strong\u003e. First published in 1990 and updated in 2009 by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e, this insightful paperback spans 344 pages, delving into the essential application of formal methods to enhance human-computer interfaces. \u003c\/p\u003e \u003cp\u003eThis comprehensive guide covers crucial topics such as system specification, construction from specifications, and the abstraction of existing systems. Each chapter is designed to illuminate both the theoretical foundations and practical implications of these methods, making it a valuable resource for researchers, practitioners, and students alike. \u003c\/p\u003e \u003cp\u003eWhether you are looking to deepen your understanding of human-computer interaction or seeking to improve system design, Harrison’s work offers a thorough exploration of these vital concepts. Don’t miss the opportunity to enrich your knowledge in this ever-evolving field!\u003c\/p\u003e","brand":"Michael Harrison","offers":[{"title":"Default Title","offer_id":52244023411030,"sku":"9780521448673","price":54.56,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521448673.jpg?v=1767767483"},{"product_id":"descriptional-complexity-of-formal-systems-springer-international-publishing-ag-9783319192246-17th-international-workshop-dcfs-2015-waterloo-on-canada-june-25-27-2015-proceedings-jeffrey-shallit","title":"Descriptional Complexity of Formal Systems","description":"\u003cp\u003eExplore the intricate world of theoretical computer science with \"Descriptional Complexity of Formal Systems,\" authored by Jeffrey Shallit. Published by Springer International Publishing AG in 2015, this comprehensive volume spans 293 pages and presents the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems (DCFS 2015), held in Waterloo, ON, Canada, in June 2015. This book delves into the concept of descriptional complexity, which serves as a theoretical framework for understanding the physical realizations and engineering complexities of computer software and hardware. Ideal for researchers and practitioners alike, this edition is a must-have for anyone interested in the foundational aspects of formal systems and their applications in modern computing. Enhance your knowledge and understanding of this vital area of study with this essential resource.\u003c\/p\u003e","brand":"Jeffrey Shallit","offers":[{"title":"Default Title","offer_id":52246522790230,"sku":"9783319192246","price":54.55,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319192246.jpg?v=1767771407"}],"url":"https:\/\/www.laufgard.com\/collections\/formalus-metodai-kompiuteriniai-mokslai.oembed","provider":"Bookshop","version":"1.0","type":"link"}