Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Rigorous Methods for Software Construction and Analysis Uwe Glässer

Name: Rigorous Methods for Software Construction and Analysis Uwe Glässer
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080041202
Price: 53.49 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

53,49 €

Titel: Rigorous Methods for Software Construction and Analysis, Untertitel: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, Einband: Taschenbuch, Autor: Uwe Glässer, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 256, Maße: 235x155x15 mm, Gewicht: 394 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus EDV / Theorie / Programmieren / Allgemeines Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Mathematik Mathematik / Informatik, Computer Mathematik / Logik Algorithm analysis and problem complexity Analysis Animation Arithmetic B-Method Compiler Multi-Agent Systems PRO abstract state machines algorithm algorithms concurrency models event-based method formal method petri nets verification.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

256
Einband:

Taschenbuch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
Publikationstitel:

Rigorous Methods for Software Construction and Analysis
Produktart:

Bücher
Untertitel:

Essays Dedicated to Egon Börger on the Occasion of His 60th Bi...
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

Rigorous Methods for Software Construction and Analysis
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Algorithmus EDV / Theorie / Programmieren / Allgemeines Inte...
ISBN:

9783642114465
Breite:

15 cm
Format:

Taschenbuch
Erscheinungsjahr:

2010
Anzahl der Seiten:

Xvi Seiten
Autor:

Glässer Uwe, Jean-Raymond Abrial
Verlag:

Springer-Verlag Gmbh, Springer Berlin
Sprache:

Englisch
Buchtitel:

Rigorous Methods For Software Construction And Analysis
Gewicht:

394 g
Buchreihe:

Lecture Notes in Computer Science, Theoretical Computer Science And General Issues

Standardversand:

DHL Kleinpaket kostenlos - Lieferung zwischen 20. May 2025 und 23. May 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Paket 3,99 EUR - Lieferung zwischen 20. May 2025 und 22. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere

Rigorous Methods for Software Construction and Analysis Uwe Glässer

Qualitative Content Analysis | Methods, Practice and Software | Kuckartz (u. a.)

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Ego

Antennas Rigorous Methods of Analysis and Synthesis Boris Levin Taschenbuch 2023

T. Kariya | Quantitative Methods for Portfolio Analysis | Taschenbuch | Englisch

Numerical Computation: Methods, Software, and Analysis. Ueberhuber, Christoph W.

Antennas | Rigorous Methods of Analysis and Synthesis | Boris Levin | Buch

Quantitative Methods for Investment Analysis Hardcover

William P Gardi Statistical Analysis Methods for Chemi (Taschenbuch) (US IMPORT)

Analysis of discretization methods for ordinary differential equations. Springer

Antennas | Rigorous Methods of Analysis and Synthesis | Boris Levin | Englisch

Numerical Methods, Software, and Analysis by Rice

Antennas: Rigorous Methods of Analysis and Synthesis by Levin, Boris

Analysis of neural networks. Lecture notes in biomathematics; 35. Heiden, Uwe an

Methods of Geometric Analysis in Extension and Trace Problems: Volume 2, Yuri Br

Qualitative Content Analysis: Methods, Practice and Software by Kuckartz, Udo

Matrix and Digital Computer Methods in Structural Analysis Jenkins 1969 Hardback

Jahrestage von Uwe Johnson [Band 3] (1983, Gebundene Ausgabe)

Analysis of Change: Advanced Techniques in Panel Data Analysis. Engel, Uwe and J

Analysis einer Veränderlichen, Storch, Uwe /Wiebe, Hartmut

Instrmntl Methods Analysis Ise Paperback Dean, Merritt, Sett Will

Rigorous Methods for Software Construction and Analysis Uwe Glässer

Ähnliche Artikel

Qualitative Content Analysis | Methods, Practice and Software | Kuckartz (u. a.)

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Ego

Antennas Rigorous Methods of Analysis and Synthesis Boris Levin Taschenbuch 2023

T. Kariya | Quantitative Methods for Portfolio Analysis | Taschenbuch | Englisch

Numerical Computation: Methods, Software, and Analysis. Ueberhuber, Christoph W.

Antennas | Rigorous Methods of Analysis and Synthesis | Boris Levin | Buch

Quantitative Methods for Investment Analysis Hardcover

William P Gardi Statistical Analysis Methods for Chemi (Taschenbuch) (US IMPORT)

Analysis of discretization methods for ordinary differential equations. Springer

Antennas | Rigorous Methods of Analysis and Synthesis | Boris Levin | Englisch

Numerical Methods, Software, and Analysis by Rice

Antennas: Rigorous Methods of Analysis and Synthesis by Levin, Boris

Analysis of neural networks. Lecture notes in biomathematics; 35. Heiden, Uwe an

Methods of Geometric Analysis in Extension and Trace Problems: Volume 2, Yuri Br

Qualitative Content Analysis: Methods, Practice and Software by Kuckartz, Udo

Matrix and Digital Computer Methods in Structural Analysis Jenkins 1969 Hardback

Jahrestage von Uwe Johnson [Band 3] (1983, Gebundene Ausgabe)

Analysis of Change: Advanced Techniques in Panel Data Analysis. Engel, Uwe and J

Analysis einer Veränderlichen, Storch, Uwe /Wiebe, Hartmut

Instrmntl Methods Analysis Ise Paperback Dean, Merritt, Sett Will

Cookie Hinweis