Der Perlentaucher unter den Buchläden Eichendorff21

Suchergebnis

Gefundene Autoren: Manfred Broy oder Helmut A. Partsch oder Ralf Steinbrüggen oder Laurent Cervoni oder Pierre Deransart

1. 

   Ralf Steinbrüggen / Manfred Broy

   Modellbildung in der Informatik

   • Springer Berlin Heidelberg
   • 2013

   • Taschenbuch
   • 268 Seiten

   29,95€

   in Kürze

   Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken…

2. 

   Ralf Steinbrüggen / Manfred Broy

   Modellbildung in der Informatik

   • Springer Berlin Heidelberg
   • 2003

   • Gebunden
   • 268 Seiten

   39,99€

   in Kürze

   Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken…

3. 

   eng

   Pierre Deransart / Abdelali Ed-Dbali …

   Prolog: The Standard

   Reference Manual

   • Springer Berlin Heidelberg
   • 1996

   • Taschenbuch
   • 292 Seiten

   117,69€

   in Kürze

   From the viewpoint of an "industrial" this book is most welcome, as one of the most significant demonstrations of the maturity of Prolog. Logic progr…

4. 

   eng

   Helmut A. Partsch

   Specification and Transformation of Programs

   A Formal Approach to Software Development

   • Springer Berlin Heidelberg
   • 1990

   • Gebunden
   • 516 Seiten

   53,49€

   in Kürze

   "Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to …

5. 

   eng

   Helmut A. Partsch

   Specification and Transformation of Programs

   A Formal Approach to Software Development

   • Springer Berlin Heidelberg
   • 1990

   • Taschenbuch
   • 516 Seiten

   53,49€

   in Kürze

   "Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to …

6. 

   Kommunikation in verteilten Systemen

   Workshop der Gesellschaft für Informatik e.V., 3.¿4. Dezember 1979, Berlin

   • Springer Berlin Heidelberg
   • 1979

   • Taschenbuch
   • 352 Seiten

   54,99€

   in Kürze

   Presently the discussion about the ISO Reference Model (RM, [1],[2]) is hardly un­ derstandable for insiders - there is no chance for outsiders to fi…