Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv
Formal Methods in Computer Science
SPAR
kr 128

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.

The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.

Features

* Introduces a comprehensive, yet manageable set of formal techniques for computer science students

* Stresses real-world application value of each formal technique

* Offers a good set of exercises which help students better understand the presented techniques

* Also offers a prepared source code for downloading and non-commercial use

Eksklusiv medlemspris 682 kr
Medlemspris 695 kr
Eksklusiv medlemspris og medlemspris er kun for medlemmer. Du bliver automatisk medlem når du køber til eksklusiv medlemspris eller medlemspris. Få 7 dages gratis medlemskab (herefter automatisk 89 kr/30 dage). Læs mere om fordelene
Gratis fragt
23 - 25 hverdage
10 kr
Lavt pakkegebyr
Normalpris 810 kr
Fragt: 59 kr
23 - 25 hverdage
20 kr
Pakkegebyr
Spar 128 kr
Se vores konkurrenters priser her
God 15.823 anmeldelser på

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.

The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.

Features

* Introduces a comprehensive, yet manageable set of formal techniques for computer science students

* Stresses real-world application value of each formal technique

* Offers a good set of exercises which help students better understand the presented techniques

* Also offers a prepared source code for downloading and non-commercial use

Produktdetaljer
Sprog: Engelsk
Sider: 294
ISBN-13: 9781498775328
Indbinding: Paperback
Udgave:
ISBN-10: 1498775322
Kategori: Mængdelære
Udg. Dato: 3 jul 2019
Længde: 24mm
Bredde: 156mm
Højde: 231mm
Oplagsdato: 3 jul 2019
Forfatter(e) William (Monmouth University Tepfenhart, Jiacun (Monmouth University Wang, Jiacun Wang, William Tepfenhart


Kategori Mængdelære


Sprog Engelsk


Indbinding Paperback


Sider 294


Udgave


Længde 24mm


Bredde 156mm


Højde 231mm

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (INDBUNDET)
Eksklusiv medlemspris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (HÆFTET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 859

kr 1.499
Normalpris
kr 923
Medlemspris
SPAR
kr 640
BOG (INDBUNDET)
Eksklusiv medlemspris kr 203

kr 300
Normalpris
kr 213
Medlemspris
SPAR
kr 97
BOG (INDBUNDET)
Eksklusiv medlemspris kr 262

kr 349
Normalpris
kr 271
Medlemspris
SPAR
kr 87
BOG (INDBUNDET)
Eksklusiv medlemspris kr 170

kr 270
Normalpris
kr 180
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (INDBUNDET)
Eksklusiv medlemspris kr 329

kr 499
Normalpris
kr 346
Medlemspris
SPAR
kr 170
BOG (INDBUNDET)
Eksklusiv medlemspris kr 175

kr 299
Normalpris
kr 187
Medlemspris
SPAR
kr 124
BOG (PAPERBACK)
Eksklusiv medlemspris kr 165

kr 198
Normalpris
kr 168
Medlemspris
SPAR
kr 33
BOG (INDBUNDET)
Eksklusiv medlemspris kr 240

kr 349
Normalpris
kr 251
Medlemspris
SPAR
kr 109
BOG (HARDBACK)
Eksklusiv medlemspris kr 25

kr 227
Normalpris
kr 45
Medlemspris
SPAR
kr 202
BOG (HÆFTET)
Eksklusiv medlemspris kr 275

kr 320
Normalpris
kr 280
Medlemspris
SPAR
kr 45
BOG (INDBUNDET)
Eksklusiv medlemspris kr 216

kr 279
Normalpris
kr 222
Medlemspris
SPAR
kr 63
BOG (INDBUNDET)
Eksklusiv medlemspris kr 118

kr 149
Normalpris
kr 121
Medlemspris
SPAR
kr 31
BOG (HÆFTET)
Eksklusiv medlemspris kr 211

kr 299
Normalpris
kr 220
Medlemspris
SPAR
kr 88
BOG (PAPERBACK)
Eksklusiv medlemspris kr 852

kr 1.403
Normalpris
kr 907
Medlemspris
SPAR
kr 551
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (INDBUNDET)
Eksklusiv medlemspris kr 118

kr 129
Normalpris
kr 119
Medlemspris
SPAR
kr 11
BOG (INDBUNDET)
Eksklusiv medlemspris kr 246

kr 329
Normalpris
kr 254
Medlemspris
SPAR
kr 83
Vi anbefaler også
BOG (HARDBACK)
Eksklusiv medlemspris kr 564

kr 732
Normalpris
kr 581
Medlemspris
SPAR
kr 168
BOG (PAPERBACK)
Eksklusiv medlemspris kr 525

kr 675
Normalpris
kr 540
Medlemspris
SPAR
kr 150
BOG (HARDBACK)
Eksklusiv medlemspris kr 709

kr 844
Normalpris
kr 723
Medlemspris
SPAR
kr 135
BOG (HARDBACK)
Eksklusiv medlemspris kr 761

kr 1.014
Normalpris
kr 786
Medlemspris
SPAR
kr 253
BOG (HARDBACK)
Eksklusiv medlemspris kr 794

kr 957
Normalpris
kr 810
Medlemspris
SPAR
kr 163
BOG (PAPERBACK)
Eksklusiv medlemspris kr 446

kr 563
Normalpris
kr 458
Medlemspris
SPAR
kr 117
BOG (HARDBACK)
Eksklusiv medlemspris kr 936

kr 1.014
Normalpris
kr 944
Medlemspris
SPAR
kr 78
BOG (HARDBACK)
Eksklusiv medlemspris kr 916

kr 1.239
Normalpris
kr 948
Medlemspris
SPAR
kr 323
BOG (PAPERBACK)
Eksklusiv medlemspris kr 396

kr 474
Normalpris
kr 404
Medlemspris
SPAR
kr 78
BOG (PAPERBACK)
Eksklusiv medlemspris kr 426

kr 484
Normalpris
kr 432
Medlemspris
SPAR
kr 58
BOG (PAPERBACK)
Eksklusiv medlemspris kr 397

kr 496
Normalpris
kr 407
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 761

kr 1.014
Normalpris
kr 786
Medlemspris
SPAR
kr 253
BOG (PAPERBACK)
Eksklusiv medlemspris kr 643

kr 844
Normalpris
kr 663
Medlemspris
SPAR
kr 201
BOG (PAPERBACK)
Eksklusiv medlemspris kr 682

kr 901
Normalpris
kr 704
Medlemspris
SPAR
kr 219
BOG (HARDBACK)
Eksklusiv medlemspris kr 867

kr 1.092
Normalpris
kr 890
Medlemspris
SPAR
kr 225
BOG (HARDBACK)
Eksklusiv medlemspris kr 761

kr 1.014
Normalpris
kr 786
Medlemspris
SPAR
kr 253
BOG (PAPERBACK)
Eksklusiv medlemspris kr 404

kr 506
Normalpris
kr 414
Medlemspris
SPAR
kr 102
BOG (PAPERBACK)
Eksklusiv medlemspris kr 759

kr 1.014
Normalpris
kr 785
Medlemspris
SPAR
kr 255
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99