Rövidített megjelenítés

dc.contributorDebrecen Universityen_EN
dc.creatorBattyányi Péteren_EN
dc.date2015-06-28en_EN
dc.date.accessioned2020-06-04T15:46:26Z
dc.date.available2020-06-04T15:46:26Z
dc.identifier.urihttp://dtk.tankonyvtar.hu/xmlui/handle/123456789/12430
dc.descriptionThe aim of this course material is to give a little insight into the most widespread and fundamental techniques of the mathematical descriptions and modelling of reactive systems. The usual approach to sequential programs is to model the behaviour of a program as a sequence of actions which have the effect of changing the state of the program, the values assigned to the program variables, and at the point of termination the result, as the final state, emerges.en_EN
dc.formatapplication/epub+zipen_EN
dc.formatapplication/pdfen_EN
dc.languageenen_EN
dc.publisherTypotex Kiadóen_EN
dc.rightsBattyányi Péteren_EN
dc.sourceISBN 978 963 279 329 0en_EN
dc.subjectcommunicating sequential processes (CSP)en_EN
dc.subjectcalculus of communicating systems (CCS)en_EN
dc.subjectHennessy-Milner formulasen_EN
dc.subjectPascal's triangleen_EN
dc.subjectKnaster-Tarski theoremen_EN
dc.titleSelected Topics in the Theory of Concurrent Processesen_EN
dc.typeEgyetemi jegyzeten_EN
dtk.firComputer Science and Information Technologyen_EN
dtk.oecd01. Natural sciences::01.02. Computer and information sciencesen_EN
dtk.playerepubreaderen_EN
dtk.purchaseTÁMOP-4.1.2.A/1-11/1-2011-0063 Pécsi Tudományegyetemen_EN
dtk.size117 p.en_EN
dtk.typebooken_EN
dtk.udc---- MAIN TABLES::0 SCIENCE AND KNOWLEDGE. ORGANIZATION. COMPUTER SCIENCE. INFORMATION. DOCUMENTATION. LIBRARIANSHIP. INSTITUTIONS. PUBLICATIONS::004 Computer science and technology. Computing. Data processing::004.4 Software::004.42 Computer programming. Computer programsen_EN


A dokumentumhoz tartozó fájlok

Thumbnail
Thumbnail
Thumbnail
Thumbnail

A dokumentum a következő gyűjtemény(ek)ben található meg

Rövidített megjelenítés