Yazar

Marieke Huisman

12 cilt bulundu.

Cilt sonuçları

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman · Springer Nature

474 sayfa · 2018

Computer science / Computer algorithms / Computer input-output equipment / Computer organization

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman · Springer

552 sayfa · 2016

Software engineering

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen · Springer

272 sayfa · 2019

Kategori yok

CiltProceedings of the 8th International Workshop on Specification and Verification of Component-Based SystemsMarieke Huisman

Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems

Marieke Huisman · Association for Computing Machinery

Sayfa sayısı yok · 2009

Kategori yok

MathematicsConcise Guide to Software VerificationMarieke Huisman, Anton Wijs

Concise Guide to Software Verification

Marieke Huisman, Anton Wijs · Springer International Publishing AG

Sayfa sayısı yok · 2023

Mathematics

Software engineeringFundamental Approaches to Software EngineeringMarieke Huisman, Julia Rubin

Fundamental Approaches to Software Engineering

Marieke Huisman, Julia Rubin · Springer Berlin / Heidelberg

444 sayfa · 2017

Software engineering

CiltFormal Techniques for Distributed Objects, Components, and SystemsMarieke Huisman, António Ravara

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman, António Ravara · Springer

Sayfa sayısı yok · 2023

Kategori yok

CiltTests and ProofsMarieke Huisman, Falk Howar

Tests and Proofs

Marieke Huisman, Falk Howar · Springer

Sayfa sayısı yok · 2024

Kategori yok

CiltFormal Methods for Industrial Critical SystemsJan Friso Groote, Marieke Huisman

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman · Springer International Publishing AG

Sayfa sayısı yok · 2022

Kategori yok

CiltFormal MethodsMarieke Huisman, Corina Pasareanu, Naijun Zhan

Formal Methods

Marieke Huisman, Corina Pasareanu, Naijun Zhan · Springer International Publishing AG

Sayfa sayısı yok · 2021

Kategori yok

Computer scienceConstruction and Analysis of Safe, Secure, and Interoperable Smart DevicesGilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean · Springer London, Limited

Sayfa sayısı yok · 2005

Computer science

Environmental aspectsRegelovertreding en incidenten bij Brzo-bedrijvenMarieke Kluin, Erwin Wiering, Marjan Peeters, Arie Aart Jan Blokland, W. Huisman

Regelovertreding en incidenten bij Brzo-bedrijven

Marieke Kluin, Erwin Wiering, Marjan Peeters, Arie Aart Jan Blokland, W. Huisman · Boom criminologie

92 sayfa · 2020

Chemical industry / Corrupt practices / Environmental aspects