東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal languages for computer simula...

Fonseca i Casas, Pau, (1973-)

FindBook

Google Book

Amazon

博客來

Formal languages for computer simulation = transdisciplinary models and applications /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Formal languages for computer simulation/ Pau Fonseca i Casas, editor.
其他題名:	transdisciplinary models and applications /
其他作者:	Fonseca i Casas, Pau,
出版者:	Hershey, Pa. :IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), : c2014.,
面頁冊數:	1 online resource (400 p.) :ill.
內容註:	Conceptual modeling using Petri nets / Antoni Guasch, Jaume Figueras, Josep Casanovas -- Modeling for system s understanding / Marisa A. Sanchez -- The DEVS formalism / Rhys Goldstein, Gabriel A. Wainer, Azam Khan -- Thermal analysis of the MIPS processor formulated within DEVS conventions / Alejandro Moreno Astorga ... [et al.] -- Specification and description language for discrete simulation / Pau Fonseca i Casas -- Modeling a Chilean hospital using specification and description language / Jorge Leiva Olmos, Pau Fonseca i Casas, Jordi Ocana Rebull -- Formal consistency verification of UML requirement and analysis models / Mouez Ali, Hanene Ben-Abdallah, Faiez Gargouri -- Model-based system design using SysML: the role of the evaluation diagram / Anargyros Tsadimas, Mara Nikolaidou, Dimosthenis Anagnostopoulos -- Domain specific simulation modeling with SysML and model-to-model transformation for discrete processes / Oliver Schonherr, Falk Stefan Pappert, Oliver Rose -- An integrated framework to simulate SysML models using DEVS simulators / G.-D. Kapos ... [et al.] -- Overview on agent-based social modelling and the use of formal languages / Cristina Montanola-Sales ... [et al.] -- Agent-based simulation model representation using BPMN / Bhakti S. S. Onggo.
標題:	Computer simulation. -
電子資源:	http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4369-7
ISBN:	9781466643703 (ebook)

Formal languages for computer simulation = transdisciplinary models and applications /
Formal languages for computer simulationtransdisciplinary models and applications /[electronic resource] :Pau Fonseca i Casas, editor. - Hershey, Pa. :IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),c2014. - 1 online resource (400 p.) :ill.

Includes bibliographical references.

Conceptual modeling using Petri nets / Antoni Guasch, Jaume Figueras, Josep Casanovas -- Modeling for system s understanding / Marisa A. Sanchez -- The DEVS formalism / Rhys Goldstein, Gabriel A. Wainer, Azam Khan -- Thermal analysis of the MIPS processor formulated within DEVS conventions / Alejandro Moreno Astorga ... [et al.] -- Specification and description language for discrete simulation / Pau Fonseca i Casas -- Modeling a Chilean hospital using specification and description language / Jorge Leiva Olmos, Pau Fonseca i Casas, Jordi Ocana Rebull -- Formal consistency verification of UML requirement and analysis models / Mouez Ali, Hanene Ben-Abdallah, Faiez Gargouri -- Model-based system design using SysML: the role of the evaluation diagram / Anargyros Tsadimas, Mara Nikolaidou, Dimosthenis Anagnostopoulos -- Domain specific simulation modeling with SysML and model-to-model transformation for discrete processes / Oliver Schonherr, Falk Stefan Pappert, Oliver Rose -- An integrated framework to simulate SysML models using DEVS simulators / G.-D. Kapos ... [et al.] -- Overview on agent-based social modelling and the use of formal languages / Cristina Montanola-Sales ... [et al.] -- Agent-based simulation model representation using BPMN / Bhakti S. S. Onggo.

Restricted to subscribers or individual electronic text purchasers.

"This book investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation, exploring different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product"--Provided by publisher.

Mode of access: World Wide Web.

ISBN: 9781466643703 (ebook)

LCCN: 2013011316Subjects--Topical Terms:

525602
Computer simulation.

LC Class. No.: QA76.9.C65 / F66 2014e

Dewey Class. No.: 005.1

Formal languages for computer simulation = transdisciplinary models and applications /
LDR:02759nmm a2200277 a 4500 001 1948574
005 19991204144331.0
008 141225s2014 pau fob 000 0 eng d
010 $a 2013011316
020 $a 9781466643703 (ebook)
020 $a 9781466643697 (hbk.)
035 $a (CaBNVSL)gtp00556480
035 $a (OCoLC)853215291
035 $a 00000209
040 $a CaBNVSL $c CaBNVSL $d CaBNVSL
050 4 $a QA76.9.C65 $b F66 2014e
082 0 4 $a 005.1 $2 23
245 0 0 $a Formal languages for computer simulation $h [electronic resource] : $b transdisciplinary models and applications / $c Pau Fonseca i Casas, editor.
260 $a Hershey, Pa. : $b IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), $c c2014.
300 $a 1 online resource (400 p.) : $b ill.
504 $a Includes bibliographical references.
505 0 $a Conceptual modeling using Petri nets / Antoni Guasch, Jaume Figueras, Josep Casanovas -- Modeling for system s understanding / Marisa A. Sanchez -- The DEVS formalism / Rhys Goldstein, Gabriel A. Wainer, Azam Khan -- Thermal analysis of the MIPS processor formulated within DEVS conventions / Alejandro Moreno Astorga ... [et al.] -- Specification and description language for discrete simulation / Pau Fonseca i Casas -- Modeling a Chilean hospital using specification and description language / Jorge Leiva Olmos, Pau Fonseca i Casas, Jordi Ocana Rebull -- Formal consistency verification of UML requirement and analysis models / Mouez Ali, Hanene Ben-Abdallah, Faiez Gargouri -- Model-based system design using SysML: the role of the evaluation diagram / Anargyros Tsadimas, Mara Nikolaidou, Dimosthenis Anagnostopoulos -- Domain specific simulation modeling with SysML and model-to-model transformation for discrete processes / Oliver Schonherr, Falk Stefan Pappert, Oliver Rose -- An integrated framework to simulate SysML models using DEVS simulators / G.-D. Kapos ... [et al.] -- Overview on agent-based social modelling and the use of formal languages / Cristina Montanola-Sales ... [et al.] -- Agent-based simulation model representation using BPMN / Bhakti S. S. Onggo.
506 $a Restricted to subscribers or individual electronic text purchasers.
520 3 $a "This book investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation, exploring different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product"--Provided by publisher.
530 $a Also available in print.
538 $a Mode of access: World Wide Web.
650 0 $a Computer simulation. $3 525602
650 0 $a Programming languages (Electronic computers) $3 606806
700 1 $a Fonseca i Casas, Pau, $d 1973- $3 2074047
856 4 1 $3 Chapter PDFs via platform: $u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4369-7