Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Volume 2: Colloquium on Software Engineering (CSE)
AvHartmut Ehrig,Christiane Floyd
Häftad, Engelska, 1985
Del i serien Lecture Notes in Computer Science
538 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
Häftad, 1985
446 kr
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
Häftad, 1987
403 kr
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
Häftad, 1987
403 kr
Graph-Grammars and Their Application to Computer Science
Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld
Häftad, 1987
1 105 kr
Petri Net Technology for Communication-Based Systems
Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber
Häftad, 2003
554 kr
Integration of Software Specification Techniques for Applications in Engineering
Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper
Häftad, 2004
571 kr
Graph Transformations
Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg
Häftad, 2004
554 kr
Integration of Software Specification Techniques for Applications in Engineering
Engelbert Westkamper, Eckehard Schnieder, Wolfgang Reif, Martin Groe-Rhode, Jorg Desel, Werner Damm, Hartmut Ehrig
E-bok
2011739 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
- 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
Types for Proofs and Programs
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
Häftad, 2000
571 kr
Del 13216
Requirements Engineering: Foundation for Software Quality
Vincenzo Gervasi, Andreas Vogelsang
Häftad, 2022
627 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
Häftad, 1985
446 kr
Del 5
Feminist Challenges in the Information Age
Christiane Floyd, Govind Kelkar, Silvie Klein-Franke, Cheris Kramarae, Cirilia Limpangog
Häftad, 2002
554 kr
Feminist Challenges in the Information Age
Cirilia Limpangog, Cheris Kramarae, Silvie Klein-Franke, Govind Kelkar, Christiane Floyd
E-bok
2013718 kr
Software Development and Reality Construction
Reinhard Keil-Slawik, Reinhard Budde, Heinz Zullighoven, Christiane Floyd
E-bok
20121 150 kr
Stufen Zur Informationsgesellschaft
Christiane Floyd, Christian Fuchs, Wolfgang Hofkirchner
Häftad, 2002
979 kr