SULJE VALIKKO

avaa valikko

Yuri Gurevich | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?



Abstract State Machines - Theory and Applications - International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 200
Yuri Gurevich; Philipp W. Kutter; Martin Odersky; Lothar Thiele
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2000)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fenomenos de Tranporte En Semiconductores
Yuri G. Gurevich
FONDO DE CULTURA ECONOMICA (2007)
Pehmeäkantinen kirja
55,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fenomenos de Contacto y Sus Aplicaciones En Celdas Solares
Yuri G. Gurevich
FONDO DE CULTURA ECONOMICA (2010)
Pehmeäkantinen kirja
63,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tests and Proofs - First International Conference, TAP 2007  Zurich, Switzerland, February 12-13, 2007  Revised Papers
Bertrand Meyer; Yuri Gurevich
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Egon Börger (ed.); Yuri Gurevich (ed.); Karl Meinke (ed.)
Springer (1994)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Classical Decision Problem
Egon Börger; Erich Grädel; Yuri Gurevich
Springer (2001)
Pehmeäkantinen kirja
155,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Current Trends In Theoretical Computer Science: Essays And Tutorials
Grzegorz Rozenberg; Arto Salomaa; Herbert Edelsbrunner; Hartmut Ehrig; Yuri Gurevich; J Hartmanis
World Scientific Publishing Co Pte Ltd (1993)
Kovakantinen kirja
172,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Semantics of Programming Languages and Model Theory
Manfred Droste; Yuri Gurevich
Gordon and Breach (1993)
Kovakantinen kirja
175,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Abstract State Machines - Theory and Applications - International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 200
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 386 sivua
Asu: Pehmeäkantinen kirja
Painos: 2000
Julkaisuvuosi: 2000, 23.08.2000 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1912
The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl¨asser and G. del Castillo (on the topic Specifying Concurrent Systems with ASMs"), H. Russ ¨ and N. Shankar (on the topic A Tutorial Introduction to PVS"), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic Developing Domain Speci c Languages"). In response to the organization committee’s call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa. Tilaa tuote jouluksi viimeistään 13.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Abstract State Machines - Theory and Applications - International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 200zoom
Näytä kaikki tuotetiedot
ISBN:
9783540679592
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste