Vangalur Alagar | Akateeminen Kirjakauppa

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

SPECIFICATION OF SOFTWARE SYSTEMS

Vangalur S. Alagar; K. Periyasamy
Springer-Verlag New York Inc. (1998)
Kovakantinen kirja

160,50 €

CONTEXT-AWARE SYSTEMS AND APPLICATIONS - SECOND INTERNATIONAL CONFERENCE, ICCASA 2013, PHU QUOC ISLAND, VIETNAM, NOVEMBER 25-26,

Phan Cong Vinh; Vangalur Alagar; Emil Vassev; Ashish Khare
Springer International Publishing AG (2014)
Pehmeäkantinen kirja

51,40 €

CONTEXT-AWARE SYSTEMS AND APPLICATIONS - 4TH INTERNATIONAL CONFERENCE, ICCASA 2015, VUNG TAU, VIETNAM, NOVEMBER 26-27, 2015, REV

Phan Cong Vinh; Vangalur Alagar
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

51,40 €

CONTEXT-AWARE SYSTEMS AND APPLICATIONS, AND NATURE OF COMPUTATION AND COMMUNICATION - 7TH EAI INTERNATIONAL CONFERENCE, ICCASA 2

Phan Cong Vinh; Vangalur Alagar
Springer Nature Switzerland AG (2018)
Pehmeäkantinen kirja

51,40 €

Specification of Software Systems

Vangalur S. Alagar, K. Periyasamy

160,50 €

Springer-Verlag New York Inc.
Sivumäärä: 442 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 1998, 01.10.1998 (lisätietoa)
Kieli: Englanti

This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.

LISÄÄ OSTOSKORIIN

Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.

Myymäläsaatavuus