Mariëlle Stoelinga | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 9 tuotetta
Haluatko tarkentaa hakukriteerejä?

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS - 17TH INTERNATIONAL WORKSHOP, FMICS 2012, PARIS, FRANCE, AUGUST 27-28, 2012, PRO

Mariëlle Stoelinga; Ralf Pinger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

45,80 €

CONCISE GUIDE TO FAULT TREE ANALYSIS : MODELS, METHODS AND ALGORITHMS

Mariëlle Stoelinga; Enno Ruijters; Pavel Krčál
Springer (2025)
Kovakantinen kirja

64,10 €

QUANTITATIVE EVALUATION OF SYSTEMS - 10TH INTERNATIONAL CONFERENCE, QEST 2013, BUENOS AIRES, ARGENTINA, AUGUST 27-30, 2013, PROC

Kaustubh Joshi; Markus Siegle; Mariëlle Stoelinga; Pedro R. D'Argenio
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

49,60 €

STOCHASTIC MODEL CHECKING - INTERNATIONAL AUTUMN SCHOOL, ROCKS 2012, VAHRN, ITALY, OCTOBER 22-26, 2012. ADVANCED LECTURES

Anne Remke; Mariëlle Stoelinga
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja

47,70 €

FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS - 17TH INTERNATIONAL CONFERENCE, FORMATS 2019, AMSTERDAM, THE NETHERLANDS, AUGUST

Etienne Andre; Marielle Stoelinga
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

49,60 €

FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING - 24TH INTERNATIONAL CONFERENCE, FASE 2021, HELD AS PART OF THE EUROPEAN JOINT CO

Esther Guerra; Mariëlle Stoelinga
Springer Nature Switzerland AG (2021)
Pehmeäkantinen kirja

40,00 €

A JOURNEY FROM PROCESS ALGEBRA VIA TIMED AUTOMATA TO MODEL LEARNING : ESSAYS DEDICATED TO FRITS VAANDRAGER ON THE OCCASION OF HI

Nils Jansen (ed.); Mariëlle Stoelinga (ed.); Petra van den Bos (ed.)
Springer (2022)
Pehmeäkantinen kirja

49,60 €

PRINCIPLES OF VERIFICATION: CYCLING THE PROBABILISTIC LANDSCAPE - ESSAYS DEDICATED TO JOOST-PIETER KATOEN ON THE OCCASION OF HI

Nils Jansen; Sebastian Junges; Benjamin Lucien Kaminski; Christoph Matheja; Thomas Noll; Tim Quatmann; Mariëlle Stoelinga
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

65,00 €

PRINCIPLES OF VERIFICATION: CYCLING THE PROBABILISTIC LANDSCAPE - ESSAYS DEDICATED TO JOOST-PIETER KATOEN ON THE OCCASION OF HIS

Nils Jansen; Sebastian Junges; Benjamin Lucien Kaminski; Christoph Matheja; Thomas Noll; Tim Quatmann; Mariëlle Stoelinga
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

72,80 €

Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Pro

Mariëlle Stoelinga, Ralf Pinger

45,80 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 223 sivua
Asu: Pehmeäkantinen kirja
Painos: 2012
Julkaisuvuosi: 2012, 17.07.2012 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012.
The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus