Kategorie główne

• Nauka

[2944077]

• Literatura piękna

[1814251]

więcej...

Kategorie szczegółowe BISAC

Katoen, Joost-Pieter

Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department of Computer Science. He is affiliated with the Formal Methods and Tools Group at the University of Twente.

[ ZOBACZ WSZYSTKIE KSIĄŻKI AUTORA ]

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 20	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	Model-Based Testing of Reactive Systems: Advanced Lectures
Concur 2011 -- Concurrency Theory: 22nd International Conference, Concur 2011, Aachen, Germany, September 6-9, 2011, Proceedings	Modeled, Tested, Trusted: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday	Foundations of Probabilistic Programming
Formal Methods: 25th International Symposium, FM 2023, L?beck, Germany, March 6-10, 2023, Proceedings

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2026 DolnySlask.com Agencja Internetowa