Shop : Search
Shop
Search
Displaying 1 - 2 of 2 results
Displaying 1 - 2 of 2 results
Displaying 1 - 2 of 2 results
Displaying 1 - 2 of 2 results
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
Volume: 63
ISBN 978-3-8191-0472-5, English, 274 pages, 38 figures, 29,85 €
January 2026
Volume: 63
ISBN 978-3-8191-0472-5, English, 274 pages, 38 figures, 29,85 €
January 2026
Sebastian Stüber
Formal Software Engineering of Distributed Systems using Focus-Streams and Automata
Aachener Informatik-Berichte, Software Engineering
Volume: 63
ISBN 978-3-8191-0472-5, English, 274 pages, 38 figures, 29,85 €
January 2026
Volume: 63
ISBN 978-3-8191-0472-5, English, 274 pages, 38 figures, 29,85 €
January 2026
Online publication
Also available as a 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
Volume: 63
ISBN 978-3-8191-0514-2, English, Softcover, 274 pages,
24 x 17 cm, 516 g, 38 figures, 39,80 €
January 2026
Volume: 63
ISBN 978-3-8191-0514-2, English, Softcover, 274 pages,
24 x 17 cm, 516 g, 38 figures, 39,80 €
January 2026
Sebastian Stüber
Formal Software Engineering of Distributed Systems using Focus-Streams and Automata
Aachener Informatik-Berichte, Software Engineering
Volume: 63
ISBN 978-3-8191-0514-2, English, Softcover, 274 pages,
24 x 17 cm, 516 g, 38 figures, 39,80 €
January 2026
Volume: 63
ISBN 978-3-8191-0514-2, English, Softcover, 274 pages,
24 x 17 cm, 516 g, 38 figures, 39,80 €
January 2026
Also available as an online publication
|
|
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Germany
Am Langen Graben 15a
52353 Düren
Germany
Mon. - Thurs. 8:00 a.m. to 4:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Contact us. We will be happy to help you.
