Bartocci c (27 Ergebnisse)

Softcover/Paperback. Zustand: Sehr gut. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Italienisch Gewicht in Gramm: 600.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Paperback. Zustand: Brand New. Italian language. 7.68x4.72x0.79 inches. In Stock.

Zustand: Used. pp. 401.

Hardcover. Zustand: Gut. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D02108 9783642136054 Sprache: Englisch Gewicht in Gramm: 550.

Zustand: Used. pp. 401.

8°, OPp, gebundene Ausgabe. Zustand: Sehr gut. XIX, 401 S. Papier minimal gebräunt, sonst sehr gutes Exemplar. No shipping to other EU countries due to the EU Packaging and Packaging Waste Regulation (PPWR), which entered into force on August 12, 2026. Sprache: Englisch Gewicht in Gramm: 823.

Zustand: New. In English.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Brand New. 349 pages. Italian language. 8.19x5.51x0.94 inches. In Stock.

Zustand: New. In Italian.

Paperback. Zustand: Brand New. 2013 edition. 387 pages. 9.25x6.10x0.88 inches. In Stock.

Gebunden. Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general. …

Taschenbuch. Zustand: Neu. Model Checking Software | 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings | Ezio Bartocci (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642391750 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 388 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 388 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.…

Zustand: As New. Unread book in perfect condition.

Zustand: new.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Lo scibile matematico si espande a un ritmo vertiginoso. Nel corso degli ultimi cinquant'anni sono stati dimostrati più teoremi che nei precedenti millenni della storia umana. Per illustrare la ricchezza della matematica del Novecento, il presente volume porta sulla ribalta alcuni dei protagonisti di questa straordinaria impresa intellettuale, che ha messo a nostra disposizione nuovi e potenti strumenti per indagare la realtà che ci circonda.Presentando matematici famosi accanto ad altri meno noti al grande pubblico - da Hilbert a Gödel, da Turing a Nash, da De Giorgi a Wiles - i ritratti raccolti in questo volume ci presentano personaggi dal forte carisma personale, dai vasti interessi culturali, appassionati nel difendere l'importanza delle proprie ricerche, sensibili alla bellezza, attenti ai problemi sociali e politici del loro tempo.Ne risulta un affresco che documenta la centralità della matematica nella cultura, non solo scientifica ma anche filosofica, artistica e letteraria, del nostro tempo, in un continuo gioco di scambi e di rimandi, di corrispondenze e di suggestioni.…

Kartoniert / Broschiert. Zustand: New.

Zustand: Gebraucht / Used. Hardcover. Very good. Xix,242pp.

Taschenbuch. Zustand: Neu. Vite matematiche | Protagonisti del '900, da Hilbert a Wiles | C. Bartocci (u. a.) | Taschenbuch | I blu | Einband - flex.(Paperback) | Italienisch | 2007 | Springer | EAN 9788847006393 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. …

hardcover. Zustand: Ottimo (Fine). ERCopertina rigida,volume in ottime condizioni, illustrato, copertina in condizioni eccellenti, interno come nuovo , in custodia 992  pagine circacopertina come da foto. Book.

Zustand: new.

Hardcover. Zustand: Brand New. Italian language. 8.90x6.46x2.44 inches. In Stock.