{"title":"Jan Friso Groote","description":null,"products":[{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-springer-nature-switzerland-ag-9783030720155-27th-international-conference-tacas-2021-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2021-luxembourg","title":"Tools and Algorithms for the Construction and Analysis of Systems","description":"\u003cp\u003eDiscover the essential insights from the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021) in this comprehensive two-volume set by Jan Friso Groote. Published by Springer Nature Switzerland AG in 2021, this first edition spans an impressive 471 pages, making it a vital resource for researchers and practitioners in the field of software engineering. This open access collection features cutting-edge discussions and findings presented during the conference, which took place from March 27 to April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2021). Whether you are looking to enhance your understanding of system construction or analysis, this book serves as an invaluable reference for advancing your knowledge and skills in the discipline.\u003c\/p\u003e","brand":"Jan Friso Groote","offers":[{"title":"Default Title","offer_id":52256814498134,"sku":"9783030720155","price":42.43,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030720155.jpg?v=1767786634"},{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-springer-nature-switzerland-ag-9783030720124-27th-international-conference-tacas-2021-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2021-luxembourg","title":"Tools and Algorithms for the Construction and Analysis of Systems","description":"\u003cp\u003eDiscover the essential insights from the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021) with this comprehensive two-volume set edited by Jan Friso Groote. Published by Springer Nature Switzerland AG in 2021, this first edition spans an impressive 465 pages, making it a vital resource for researchers and practitioners in the field of software engineering.\u003c\/p\u003e \n\n\u003cp\u003eCovering the latest advancements and methodologies, this collection brings together cutting-edge research presented at TACAS 2021, which took place from March 27 to April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2021). Whether you are looking to enhance your knowledge or stay updated on the latest tools and algorithms, this book is an invaluable addition to your library.\u003c\/p\u003e","brand":"Jan Friso Groote","offers":[{"title":"Default Title","offer_id":52256814858582,"sku":"9783030720124","price":42.43,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030720124.jpg?v=1767786640"},{"product_id":"logic-gates-circuits-processors-compilers-and-computers-springer-nature-switzerland-ag-9783030685522-jan-friso-groote","title":"Logic Gates, Circuits, Processors, Compilers and Computers","description":"\u003cp\u003eDiscover the fascinating world of electronics with \"Logic Gates, Circuits, Processors, Compilers and Computers\" by Jan Friso Groote. This comprehensive undergraduate textbook, published by Springer Nature Switzerland AG in 2021, spans 251 pages and serves as an essential resource for students eager to delve into the fundamentals of electronic circuitry. \u003c\/p\u003e \u003cp\u003eGroote expertly guides readers from basic concepts to more advanced topics, including the Arithmetic Logic Unit, sequential circuits, and microprocessors. Each chapter is designed to build a solid foundation, making complex ideas accessible and engaging. Whether you are a student or a professional looking to refresh your knowledge, this first edition text is a valuable addition to your library. \u003c\/p\u003e \u003cp\u003eEnhance your understanding of the building blocks of modern computing with this insightful guide!\u003c\/p\u003e","brand":"Jan Friso Groote","offers":[{"title":"Default Title","offer_id":52269788594518,"sku":"9783030685522","price":40.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030685522.jpg?v=1767803609"},{"product_id":"formal-methods-for-industrial-critical-systems-springer-international-publishing-ag-9783031150074-27th-international-conference-fmics-2022-warsaw-poland-september-14-15-2022-proceedings-jan-friso-groote","title":"Formal Methods for Industrial Critical Systems","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Formal Methods for Industrial Critical Systems,\" authored by Jan Friso Groote and published by Springer International Publishing AG in 2022. This essential volume compiles the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022), held in Warsaw, Poland. Featuring 13 meticulously reviewed papers selected from 22 submissions, this first edition offers a comprehensive examination of formal methods crucial for ensuring the reliability and safety of industrial critical systems. With 245 pages of expert contributions, this book is a must-have for researchers, practitioners, and students interested in advancing their knowledge in this vital field. Enhance your understanding of formal methods and their application in industry by adding this valuable resource to your collection.\u003c\/p\u003e","brand":"Jan Friso Groote","offers":[{"title":"Default Title","offer_id":52274327060822,"sku":"9783031150074","price":72.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031150074.jpg?v=1767812568"}],"url":"https:\/\/www.bookshop.lv\/collections\/jan-friso-groote.oembed","provider":"Bookshop","version":"1.0","type":"link"}