BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Markus Roggenbach

6 cilt bulundu.

Cilt sonuçları

Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

Phillip James, Markus Roggenbach · Springer International Publishing AG

233 sayfa · 2017

Algebra

Algebra and Coalgebra in Computer Science

Algebra and Coalgebra in Computer Science

Neil Harman, Markus Roggenbach, Jos Luis Fiadeiro · Springer

Sayfa sayısı yok · 2008

Kategori yok

Applicable Formal Methods for Safe Industrial Products

Applicable Formal Methods for Safe Industrial Products

Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach · Springer

Sayfa sayısı yok · 2023

Kategori yok

On the Construction of Engineering Handbooks

On the Construction of Engineering Handbooks

Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach · Springer

95 sayfa · 2020

Kategori yok

CiltFormal Methods - Fun for EverybodyAntonio Cerone, Markus Roggenbach

Formal Methods - Fun for Everybody

Antonio Cerone, Markus Roggenbach · Springer International Publishing AG

Sayfa sayısı yok · 2021

Kategori yok

CiltFormal Methods for Software EngineeringMarkus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Formal Methods for Software Engineering

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh · Springer

450 sayfa · 2020

Kategori yok