Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Modellbildung in der Informatik (Softcover)
Bild 1 von 1

Modellbildung in der Informatik (Softcover)

Softcover reprint of the original 1st ed. 2004 - Erschienen 03.10.2013 - Kartoniert, 268 Seiten, 235mm x 155mm x 15mm, Sprache(n): ger

Produktart:
📚 Bücher
Anbieter:
MARZIES Buch- und Medienhandel
Bestell-Nr.:
A21764967
Kategorie(n):
ISBN:
3642622674
EAN:
9783642622670
Stichworte:

Anforderungsmodellierung, Applikative Programmierung, Asynchrone Kommunikation, Beweiskalkül, Beweisrahmen, CASE Tools, Chomsky-Grammatiken, Formale Spezifikation, HOL, Modelldesign, Parallele Prozesse, Rechenstrukturen, Verfeinerung, Verifikation, Vertei

Angebotene Zahlungsarten
Vorauskasse, PayPal
Neuware
Neuware29,95 EURKostenloser Versand

Ähnliche Bücher, die interessant für Sie sein könnten Autor: Ralf Steinbrüggen, Manfred Broy Verlag: Springer Berlin