Livres d’occasion de Dines Bjorner

6 résultats

Trier par :

Vous devez être majeur pour voir la couverture des produits pour adultes.

Couverture du produit · Software Engineering 1: Abstraction And Modelling

Livre Software Engineering 1: Abstraction And Modelling Dines Bjørner

Couverture du produit · Software Engineering 3: Domains, Requirements, And Software Design

Livre Software Engineering 3: Domains, Requirements, And Software Design Dines Bjørner

Couverture du produit · Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

Livre Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series) dines-bjorner

Couverture du produit · Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gamm

Livre Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gamm Dines Bjorner, A. P. Ershov et N.D. Jones

Couverture du produit · Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-2

Livre Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-2 Dines Bjorner, C. A. R. Hoare et Hans Langmaack

Couverture du produit · Formal Description of Programming Concepts: 2nd: Conference Proceedings

Livre Formal Description of Programming Concepts: 2nd: Conference Proceedings Dines Bjorner

Vous n'avez pas trouvé l'article que vous cherchiez ?

Activez les notifications dans votre compte pour être alerté dès qu'il est en stock.

Créer une alerte