Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.

Till classic.bokus.com

Sök bok, spel, pussel, penna...läsglädje bland tusentals titlarbarnböckernobelvinnarenyheterpresenttipsinspiration

Erbjudanden
Nyheter
Student
Topplistor
Barn & ungdom
Bokus Play
E-böcker
Pocketböcker
Spel & pussel

Årets adventskalendrar är här! →

Sidfot

Mina sidor

Hjälp

Kundservice
Vanliga frågor och svar
Frakt och leverans
Retur vid ångerrätt
Reklamera vara
Betalning
Köpvillkor
Allmänna villkor
Information om webbplatsens tillgänglighet

Om Bokus

Om oss
Pressrum
För studenter
För företag
För bibliotek och offentlig verksamhet
För leverantörer
Hållbarhet

Populärt

Aktuella erbjudanden
Presentkort
Studentlitteratur
Nya böcker
Topplistor
Signerade böcker
Engelska böcker

Inspiration

Boktips
BookTok
Populära bokserier
Barnbokskaraktärer
Populära författare

Mina sidor

Hjälp

Kundservice
Vanliga frågor och svar
Frakt och leverans
Retur vid ångerrätt
Reklamera vara
Betalning
Köpvillkor
Allmänna villkor
Information om webbplatsens tillgänglighet

Om Bokus

Om oss
Pressrum
För studenter
För företag
För bibliotek och offentlig verksamhet
För leverantörer
Hållbarhet

Populärt

Aktuella erbjudanden
Presentkort
Studentlitteratur
Nya böcker
Topplistor
Signerade böcker
Engelska böcker

Inspiration

Boktips
BookTok
Populära bokserier
Barnbokskaraktärer
Populära författare

bokus @ CookiesIntegritetspolicy Köpvillkor

Sök bok, spel, pussel, penna...läsglädje bland tusentals titlarbarnböckernobelvinnarenyheterpresenttipsinspiration

Joost Pieter Katoen – författare & böcker | Bokus

Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.

Till classic.bokus.com

Sök bok, spel, pussel, penna...läsglädje bland tusentals titlarbarnböckernobelvinnarenyheterpresenttipsinspiration

Erbjudanden
Nyheter
Student
Topplistor
Barn & ungdom
Bokus Play
E-böcker
Pocketböcker
Spel & pussel

Årets adventskalendrar är här! →

Författare
Joost-Pieter Katoen

Joost-Pieter Katoen – författare

Visar alla böcker från författaren Joost-Pieter Katoen. Handla med fri frakt och snabb leverans.

20 produkter

Information om vår produktsortering

Lär dig mer om vår produktsortering och varför vissa produkter visas och prioriteras framför andra.

Hoppa över filtreringsmeny

Kategorier

Böcker

Språk

Pris

Bokformat

Utgivare

Utgivningsår

20 produkter

Information om vår produktsortering

Lär dig mer om vår produktsortering och varför vissa produkter visas och prioriteras framför andra.

Principles of Model Checking
AvChristel Baier,Joost-Pieter Katoen
Inbunden, Engelska, 2008
2 031 kr
Skickas
Foundations of Probabilistic Programming
AvGilles Barthe,Joost-Pieter Katoenm. fl.
Inbunden, Engelska, 2020
859 kr
Skickas inom 11-20 vardagar
What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and mathematical logic, security (what is the probability that software leaks confidential information?), and presents three programming languages for different applications: Excel tables, program testing, and approximate computing. This title is also available as Open Access on Cambridge Core.
Foundations of Probabilistic Programming
AvAlexandra Silva,Joost-Pieter Katoenm. fl.
E-bok
PDF, Engelska, 2020
1 002 kr
Läs direkt efter köp
What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and mathematical logic, security (what is the probability that software leaks confidential information?), and presents three programming languages for different applications: Excel tables, program testing, and approximate computing. This title is also available as Open Access on Cambridge Core.
Del 11951 - Lecture Notes in Computer Science
Dependable Software Engineering. Theories, Tools, and Applications
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
AvNan Guan,Joost-Pieter Katoenm. fl.
Häftad, Engelska, 2019
573 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities.
Dependable Software Engineering. Theories, Tools, and Applications
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
AvJun Sun,Joost-Pieter Katoenm. fl.
E-bok
Engelska, 2019
734 kr
Läs direkt efter köp
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities.
Del 14000 - Lecture Notes in Computer Science
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
AvMarsha Chechik,Joost-Pieter Katoenm. fl.
Häftad, Engelska, 2023
1 138 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
AvMartin Leucker,Joost-Pieter Katoenm. fl.
E-bok
Engelska, 2023
1 470 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
AvMarsha Chechik,Joost-Pieter Katoen
Engelska, 2023
672 kr
Skickas inom 5-8 vardagar
Del 10500 - Lecture Notes in Computer Science
ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
AvJoost-Pieter Katoen,Rom Langerakm. fl.
Häftad, Engelska, 2017
573 kr
Skickas inom 10-15 vardagar
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.
ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
AvArend Rensink,Rom Langerakm. fl.
E-bok
Engelska, 2017
732 kr
Läs direkt efter köp
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.
The contributions in this Festschrift are written by a number of Ed''s former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed''s terminology applied mathematics in computer science.

The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.
Validation of Stochastic Systems
A Guide to Current Research
AvChristel Baier,Boudewijn R. Haverkortm. fl.
Häftad, Engelska, 2004
556 kr
Skickas inom 10-15 vardagar
It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project "Validation of Stochastic Systems" (VOSS), ?nanced by NWO and DFG (the Dutch and German science foundations, respectively). In the early days of 2002, the idea emerged to organize a seminar at Schloss Dagstuhl, not the usual Dagstuhl seminar with primarily invited participants, but a seminar aimed at young(er) people, and for which the organizers assign themes to be worked upon and presented on. Following an open call announced via the Internet in the spring of 2002, we received many applications for part- ipation. After a selection procedure, we decided to assign (mostly) teams of two researchers to work on speci?c topics, roughly divided into the following four theme areas: "Modelling of Stochastic Systems," "Model Checking of Stochastic Systems," "Representing Large State Spaces," and "Deductive Veri?cation of Stochastic Systems." These are the titles of the four parts of this volume. TheseminarwasheldinSchlossDagstuhlduringDecember8-11,2002aspart of the so-called GI/Research Seminar series.This series of seminars is ?nancially supported by theGesellschaft fur .. Informatik, the German Computer Society. At that point in time the papers had already undergone a ?rst review round. Each of the tutorial papers was presented in a one-hour session, and on the basis of the presentations we decided to bring together a selection of them into a book.
Validation of Stochastic Systems
A Guide to Current Research
AvMarkus Siegle,Joost-Pieter Katoenm. fl.
E-bok
PDF, Engelska, 2004
718 kr
Läs direkt efter köp
Model-Based Testing of Reactive Systems
Advanced Lectures
AvManfred Broy,Bengt Jonssonm. fl.
Häftad, Engelska, 2005
573 kr
Skickas inom 10-15 vardagar
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
Model-Based Testing of Reactive Systems
Advanced Lectures
AvAlexander Pretschner,Martin Leuckerm. fl.
E-bok
PDF, Engelska, 2005
739 kr
Läs direkt efter köp
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
Lectures on Formal Methods and Performance Analysis
First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
AvEd Brinksma,Holger Hermannsm. fl.
Häftad, Engelska, 2001
573 kr
Skickas inom 10-15 vardagar
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous data transfer for live video tra- mission. During the last decade, this trend has motivated an increased interest in c- bining insights and results from the ?eld of formal methods – traditionally - cused on functionality – with techniques for performance modeling and analysis. Prominent examples of this cross-fertilization are extensions of process algebra and Petri nets that allow for the automatic generation of performance models, the use of formal proof techniques to assess the correctness of randomized - gorithms, and extensions of model checking techniques to analyze performance requirements automatically. We believe that these developments markthe - ginning of a new paradigm for the modeling and analysis of systems in which qualitative and quantitative aspects are studied from an integrated perspective. We are convinced that the further worktowards the realization of this goal will be a growing source of inspiration and progress for both communities.
Tools and Algorithms for the Construction and Analysis of Systems
8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
AvJoost-Pieter Katoen,Perdita Stevens
Häftad, Engelska, 2002
573 kr
Skickas inom 10-15 vardagar
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Lectures on Formal Methods and Performance Analysis
First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
AvJoost-Pieter Katoen,Holger Hermannsm. fl.
E-bok
PDF, Engelska, 2003
739 kr
Läs direkt efter köp
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous data transfer for live video tra- mission. During the last decade, this trend has motivated an increased interest in c- bining insights and results from the ?eld of formal methods – traditionally - cused on functionality – with techniques for performance modeling and analysis. Prominent examples of this cross-fertilization are extensions of process algebra and Petri nets that allow for the automatic generation of performance models, the use of formal proof techniques to assess the correctness of randomized - gorithms, and extensions of model checking techniques to analyze performance requirements automatically. We believe that these developments markthe - ginning of a new paradigm for the modeling and analysis of systems in which qualitative and quantitative aspects are studied from an integrated perspective. We are convinced that the further worktowards the realization of this goal will be a growing source of inspiration and progress for both communities.
Tools and Algorithms for the Construction and Analysis of Systems
8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
AvPerdita Stevens,Joost-Pieter Katoen
E-bok
PDF, Engelska, 2003
739 kr
Läs direkt efter köp
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
CONCUR 2011 -- Concurrency Theory
22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
AvJoost-Pieter Katoen,Barbara König
Häftad, Engelska, 2011
581 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.
CONCUR 2011 -- Concurrency Theory
22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
AvBarbara Konig,Joost-Pieter Katoen
E-bok
PDF, Engelska, 2011
739 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

Sidfot

Mina sidor

Hjälp

Kundservice
Vanliga frågor och svar
Frakt och leverans
Retur vid ångerrätt
Reklamera vara
Betalning
Köpvillkor
Allmänna villkor
Information om webbplatsens tillgänglighet

Om Bokus

Om oss
Pressrum
För studenter
För företag
För bibliotek och offentlig verksamhet
För leverantörer
Hållbarhet

Populärt

Aktuella erbjudanden
Presentkort
Studentlitteratur
Nya böcker
Topplistor
Signerade böcker
Engelska böcker

Inspiration

Boktips
BookTok
Populära bokserier
Barnbokskaraktärer
Populära författare

Mina sidor

Hjälp

Kundservice
Vanliga frågor och svar
Frakt och leverans
Retur vid ångerrätt
Reklamera vara
Betalning
Köpvillkor
Allmänna villkor
Information om webbplatsens tillgänglighet

Om Bokus

Om oss
Pressrum
För studenter
För företag
För bibliotek och offentlig verksamhet
För leverantörer
Hållbarhet

Populärt

Aktuella erbjudanden
Presentkort
Studentlitteratur
Nya böcker
Topplistor
Signerade böcker
Engelska böcker

Inspiration

Boktips
BookTok
Populära bokserier
Barnbokskaraktärer
Populära författare

bokus @ CookiesIntegritetspolicy Köpvillkor

Sök bok, spel, pussel, penna...läsglädje bland tusentals titlarbarnböckernobelvinnarenyheterpresenttipsinspiration