Giacobazzi, Roberto (Ed.): Static Analysis. 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings Berlin, Springer, 2004.

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Giacobazzi, Roberto (Ed.):
Static Analysis. 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Berlin, Springer, 2004.
ISBN/EAN: 9783540227915

gefunden im Sachgebiet: Mathematik

2004 396 S.; Ill. Paperback

Very good. Shrink wrapped.

[SW: data structure, semantics, program manipulation, Scala, static analysis, logic, formal methods, formal verification, software analysis, algorithms, program transformation, program analysis, systems analysis, verification, data structures]
data, structure, semantics, program, manipulation, Scala, static, analysis, logic, formal, methods, formal, verification, software, analysis, algorithms, program, transformation, program, analysis, systems, analysis, verification, data, structures

EUR6,30
inkl. MwSt. zzgl. Versand: EUR 0,00
Lieferzeit: 1 - 7 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 61 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Giacobazzi, Roberto (Ed.): Static Analysis. 11th International Symposium, SAS 2004, Verona, Italy, ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Curry, Haskell B.:
A Theory of Formal Deducibility. (=Notre Dame Mathematical Lectures; no. 6).

EUR 12,00
Details zum Buch...

Taylor, Michael E.:
Partial Differential Equations II : Qualitative Studies of Linear Equations. (=Applied Mathematical Sciences ; 116).

EUR 75,00
Details zum Buch...

Marinell, Gerhard:
Statistische Auswertung.

EUR 5,60
Details zum Buch...

Lamotke, Klaus:
Riemannsche Flächen. (=Grundwissen Mathematik).

EUR 34,00
Details zum Buch...

FF-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren
IE-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren