SULJE VALIKKO

avaa valikko

Amir Pnueli | Akateeminen Kirjakauppa

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



Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 1
Amir Pnueli; Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Temporal Verification of Reactive Systems : Safety
Zohar Manna; Amir Pnueli
Springer (1995)
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Temporal Logic of Reactive and Concurrent Systems : Specification
Zohar Manna; Amir Pnueli
Springer (1991)
Kovakantinen kirja
107,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings
Behnam Banieqbal (ed.); Howard Barringer (ed.); Amir Pnueli (ed.)
Springer (1989)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceed
Freek Wiedijk (ed.); Oded Maler (ed.); Amir Pnueli (ed.)
Springer (2003)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Rev
Willem-Paul de Roever (ed.); Hans Langmaack (ed.); Amir Pnueli (ed.)
Springer (1998)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Temporal Logic of Reactive and Concurrent Systems : Specification
Zohar Manna; Amir Pnueli
Springer (2012)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Temporal Verification of Reactive Systems : Safety
Zohar Manna; Amir Pnueli
Springer (2012)
Pehmeäkantinen kirja
107,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 1
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 426 sivua
Asu: Pehmeäkantinen kirja
Painos: 2010
Julkaisuvuosi: 2010, 08.02.2010 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues
This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15–19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps between di?erent communities whose - searchareasarecoveredbybutnotlimitedtofoundationsofprogramandsystem development and analysis, programming methodology and softwareengineering, and information technologies. PSI 2009 was dedicated to the memory of a prominent scientist, academician Andrei Ershov (1931–1988),and to a signi?cant date in the history of computer science in the country, namely, the 50th anniversary of the Programming - partment founded by Andrei Ershov. Initially, the department was a part of the Institute of Mathematics and later, in 1964, it joined the newly established Computing Center of the Siberian Branch of the USSR Academy of Sciences. Andrei Ershov, who was responsible for forming the department, gathered a team of young graduates from leading Soviet universities. The ?rst signi?cant project of the department was aimed at the development of ALPHA system, an optimizing compiler for an extension of Algol 60 implemented on a Soviet c- puterM-20. Later,theresearchersofthedepartmentcreatedtheAlgibr,Epsilon, Sigma, and Alpha-6 programming systems for the BESM-6 computers. The list of their achievements also includes the ?rst Soviet time-sharing system AIST-0, the multi-language system BETA, research projects in arti?cial intelligence and parallel programming, integrated tools for text processing and publishing, and many others.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 1zoom
Näytä kaikki tuotetiedot
ISBN:
9783642114854
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste