Header

Shop : Suche

Shop
Suche
Anzeige 1 - 2 von 2 Treffer
Anzeige 1 - 2 von 2 Treffer
Anzeige 1 - 2 von 2 Treffer
Anzeige 1 - 2 von 2 Treffer
978-3-8191-0472-5
eBook
Sebastian Stüber
Formal Software Engineering of Distributed Systems using Focus-Streams and Automata

The increasing complexity of software systems, particularly in distributed environments, necessitates verification methods to ensure correctness and reliability. ...

Aachener Informatik-Berichte, Software Engineering
Band: 63
ISBN 978-3-8191-0472-5, Englisch, 274 Seiten, 38 Abbildungen, 29,85 €
Januar 2026

978-3-8191-0472-5
Sebastian Stüber
Formal Software Engineering of Distributed Systems using Focus-Streams and Automata
Aachener Informatik-Berichte, Software Engineering
Band: 63
ISBN 978-3-8191-0472-5, Englisch, 274 Seiten, 38 Abbildungen, 29,85 €
Januar 2026

Online-Publikation

Auch als Print-Version verfügbar

978-3-8191-0514-2
Print-Version
Sebastian Stüber
Formal Software Engineering of Distributed Systems using Focus-Streams and Automata

The increasing complexity of software systems, particularly in distributed environments, necessitates verification methods to ensure correctness and reliability. ...

Aachener Informatik-Berichte, Software Engineering
Band: 63
ISBN 978-3-8191-0514-2, Englisch, Paperback, 274 Seiten,
24 x 17 cm, 516 g, 38 Abbildungen, 39,80 €
Januar 2026

978-3-8191-0514-2
Sebastian Stüber
Formal Software Engineering of Distributed Systems using Focus-Streams and Automata
Aachener Informatik-Berichte, Software Engineering
Band: 63
ISBN 978-3-8191-0514-2, Englisch, Paperback, 274 Seiten,
24 x 17 cm, 516 g, 38 Abbildungen, 39,80 €
Januar 2026

Auch als Online-Publikation verfügbar

Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
  +49 2421 99011 9
Mo. - Do. 8:00 Uhr bis 16:00 Uhr
Fr. 8:00 Uhr bis 15:00 Uhr
Kontaktieren Sie uns. Wir helfen Ihnen gerne weiter.
Captcha
Social Media