VDM '87. VDM - A Formal Method at Work
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
572 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Hoppa över listan
Mer från samma författare
VDM '90. VDM and Z - Formal Methods in Software Development
Dines Bjørner, C.A.R. Hoare, Hans Langmaack
Häftad, 1990
571 kr
Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
Häftad, 1993
571 kr
Hoppa över listan
Mer från samma serie
Multiobjective Optimization
Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński
Häftad, 2008
554 kr
Del 16297
Knowledge Graphs
Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang
Häftad, 2026
932 kr
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
571 kr
Del 15582
Biomimetic and Biohybrid Systems
Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott
Häftad, 2025
1 022 kr
- Nyhet
Del 16693
Advanced Parallel Processing Technologies
Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson
Häftad, 2026
1 022 kr
Del 16832
Progress in Cryptology - AFRICACRYPT 2026
Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez
Häftad, 2026
932 kr
- Nyhet
Electronic Participation
David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek
Häftad, 2026
730 kr
Del 12051
Sustainable Digital Communities
Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad
Häftad, 2020
1 071 kr
Hoppa över listan
Du kanske också är intresserad av
Seawater-Sediment Interactions in Coastal Waters
Jan Rumohr, Eckart Walger, Bernt Zeitzschel
Häftad, 1987
556 kr
Del 1239
Entwicklungstests für das Säuglings-, Kleinkind- und Vorschulalter
Beate Rennen-Allhoff, Peter Allhoff
Häftad, 1987
852 kr
Computer Science and Its Applications
Abdelmalek Amine, Ladjel Bellatreche, Zakaria Elberrichi, Erich J. Neuhold, Robert Wrembel
Inbunden, 2015
1 135 kr
Computer, Communication, and Signal Processing
Aravindan Chandrabose, Selwyn Piramuthu, Joan Lu, Xavier Fernando, Erich J. Neuhold
E-bok
20221 780 kr
Del 21
Topographic Waves in Channels and Lakes on the f-Plane
Thomas Stocker, Kolumban Hutter
Häftad, 1987
556 kr