Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
$10.29 - $60.03
Methods of Programming: Selected Papers on the CIP-Project (Lecture Notes in Computer Science)
$59.78
Deductive Program Design (NATO ASI Series / Computer and Systems Sciences)
$219.99
Program Design Calculi
$219.99
Software Pioneers
Out of Stock
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Lecture Notes in Computer Science)
$60.03
Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised ... Applications, incl. Internet/Web, and HC
$59.78
Modellbildung In Der Informatik (Xpert.Press) (German Edition)
Out of Stock
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science)
$60.03
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
$60.35
Informatik: Eine Grundlegende Einfuhrung Teil I. Problemnahe Programmierung
Out of Stock
Informatik. Eine Grundlegende Einfuhrung: Teil III: Systemstrukturen Und Systemnahe Programmierung
Out of Stock
Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen (Springer-Lehrbuch)
Out of Stock
Projektorganisation Und Management Im Software Engineering
Out of Stock
Einführung in die Softwaretechnik (Xpert.press)
Out of Stock
Logische und Methodische Grundlagen der Programm- und Systementwicklung
Out of Stock
Informatik. Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen
Out of Stock
Informatik: Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik (Springer-Lehrbuch)
Out of Stock
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme: Unter Mitarbeit von Alexander Malkis
Out of Stock
