ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
AvJoost-Pieter Katoen,Rom Langerak
Häftad, Engelska, 2017
Del 10500 i serien Lecture Notes in Computer Science
551 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Model Driven Architecture - Foundations and Applications
Richard F. Paige, Alan Hartman, Arend Rensink
Häftad
551 kr
Formal Methods for Open Object-Based Distributed Systems V
Bart Jacobs, Arend Rensink, Bart Jacobs, Arend Rensink
Inbunden
1 095 kr
Foundations of Probabilistic Programming
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Inbunden
794 kr