Header

Shop : New publications

Shop
New publications
Computer Science • Mathematics
Computer Science • Mathematics
Displaying 1 - 4 of 4 results
Displaying 1 - 4 of 4 results
Displaying 1 - 4 of 4 results
Displaying 1 - 4 of 4 results
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
Volume: 63
ISBN 978-3-8191-0472-5, English, 274 pages, 38 figures, 29,85 €
January 2026

New publication

Online publication
978-3-8191-0472-5
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

New publication

Online publication

further information
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
Volume: 63
ISBN 978-3-8191-0514-2, English, Softcover, 274 pages,
24 x 17 cm, 407 g, 38 figures, 39,80 €
January 2026

In preparation

978-3-8191-0514-2
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, 407 g, 38 figures, 39,80 €
January 2026

In preparation

further information
978-3-8191-0366-7
Print version
Achim Lindt
Methodik zur Modularisierung und Komposition von Datenmodellen in der agilen Softwareentwicklung

Modellgetriebene Softwareentwicklung nutzt abstrakte Modelle als zentrale Artefakte, doch Konzepte zur Modularisierung und Wiederverwendung fehlen weitgehend. ...

Aachener Informatik-Berichte, Software Engineering
Volume: 62
ISBN 978-3-8191-0366-7, German, Softcover, 386 pages,
24 x 17 cm, 575 g, 121 figures, 39,80 €
December 2025

In preparation

978-3-8191-0366-7
Achim Lindt
Methodik zur Modularisierung und Komposition von Datenmodellen in der agilen Softwareentwicklung
Aachener Informatik-Berichte, Software Engineering
Volume: 62
ISBN 978-3-8191-0366-7, German, Softcover, 386 pages,
24 x 17 cm, 575 g, 121 figures, 39,80 €
December 2025

In preparation

further information
978-3-8191-0427-5
eBook
Achim Lindt
Methodik zur Modularisierung und Komposition von Datenmodellen in der agilen Softwareentwicklung

Modellgetriebene Softwareentwicklung nutzt abstrakte Modelle als zentrale Artefakte, doch Konzepte zur Modularisierung und Wiederverwendung fehlen weitgehend. ...

Aachener Informatik-Berichte, Software Engineering
Volume: 62
ISBN 978-3-8191-0427-5, German, 386 pages, 121 figures, 29,85 €
December 2025

New publication

Online publication
978-3-8191-0427-5
Achim Lindt
Methodik zur Modularisierung und Komposition von Datenmodellen in der agilen Softwareentwicklung
Aachener Informatik-Berichte, Software Engineering
Volume: 62
ISBN 978-3-8191-0427-5, German, 386 pages, 121 figures, 29,85 €
December 2025

New publication

Online publication

further information
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Germany
  +49 2421 99011 9
  www.shaker.eu
Mon. - Thurs. 8:00 a.m. to 4:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Contact us. We will be happy to help you.
Captcha
Social Media
Data Privacy Protection
Imprint
Newsletter