fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

 Seite 15 von 15
Anzahl pro Seite
Sortiert nach
Produkte: 150 Seite 15 von 15 Filter
Anzahl Produkte: 150 Programming and Software Engineering Logik, formale Sprachen, Automaten
Liblit

Cooperative Bug Isolation  

Cooperative Bug Isolation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Liblit

Cooperative Bug Isolation

  • Verlag: Springer
  • ISBN: 978-3-540-71877-2 (Buch)
  • Erscheinungstermin: 25.04.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Julliand / Kouchnarenko

B 2007: Formal Specification and Development in B  

B 2007: Formal Specification and Development in B
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Julliand / Kouchnarenko

B 2007: Formal Specification and Development in B

  • Verlag: Springer
  • ISBN: 978-3-540-68760-3 (Buch)
  • Erscheinungstermin: 14.12.2006
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Kühn / Pugliese

Coordination Models and Languages  

Coordination Models and Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kühn / Pugliese

Coordination Models and Languages

  • Verlag: Springer
  • ISBN: 978-3-662-43375-1 (Buch)
  • Erscheinungstermin: 24.07.2014
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Seidl / Tillmann

Tests and Proofs  

Tests and Proofs
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
Seidl / Tillmann

Tests and Proofs

  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-09098-6 (Buch)
  • Erscheinungstermin: 04.08.2014
  • Lieferzeit ca. 10 Werktage
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Shankar / Woodcock

Verified Software: Theories, Tools, Experiments  

Verified Software: Theories, Tools, Experiments
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Shankar / Woodcock

Verified Software: Theories, Tools, Experiments

  • Verlag: Springer
  • ISBN: 978-3-540-87872-8 (Buch)
  • Erscheinungstermin: 22.09.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Bartocci / Falcone

Lectures on Runtime Verification  

Lectures on Runtime Verification
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Bartocci / Falcone

Lectures on Runtime Verification

  • Verlag: Springer
  • ISBN: 978-3-319-75631-8 (Buch)
  • Erscheinungstermin: 11.02.2018
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Krivine / Stefani

Reversible Computation  

Reversible Computation
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
Krivine / Stefani

Reversible Computation

  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-20859-6 (Buch)
  • Erscheinungstermin: 01.07.2015
  • Lieferzeit ca. 10 Werktage
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Rayadurgam / Tkachuk

NASA Formal Methods  

NASA Formal Methods
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Rayadurgam / Tkachuk

NASA Formal Methods

  • Verlag: Springer
  • ISBN: 978-3-319-40647-3 (Buch)
  • Erscheinungstermin: 04.06.2016
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Hutton

Mathematics of Program Construction  

Mathematics of Program Construction
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hutton

Mathematics of Program Construction

  • Verlag: Springer
  • ISBN: 978-3-030-33635-6 (Buch)
  • Erscheinungstermin: 20.10.2019
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Sekerinski / Moreira / Oliveira

Formal Methods. FM 2019 International Workshops  

Formal Methods. FM 2019 International Workshops
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Sekerinski / Moreira / Oliveira

Formal Methods. FM 2019 International Workshops

  • Verlag: Springer International Publishing
  • ISBN: 978-3-030-54993-0 (Buch)
  • Erscheinungstermin: 13.08.2020
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Filter
Anzahl pro Seite
Sortiert nach

Unterthema 3

Verfügbarkeit