## Specifying Systems

*The TLA+ Language and Tools for Hardware and Software Engineers*

**Author**: Leslie Lamport

**Publisher:** Addison-Wesley Professional

**ISBN:** 9780321143068

**Category:** Computers

**Page:** 364

**View:** 3256

*The TLA+ Language and Tools for Hardware and Software Engineers*

**Author**: Leslie Lamport

**Publisher:** Addison-Wesley Professional

**ISBN:** 9780321143068

**Category:** Computers

**Page:** 364

**View:** 3256

*18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers*

**Author**: Zoltán Horváth,Viktória Zsók,Andrew Butterfield

**Publisher:** Springer Science & Business Media

**ISBN:** 3540741291

**Category:** Computers

**Page:** 270

**View:** 3049

*Incremental Modeling of Dynamic Behaviors*

**Author**: R. Kurki-Suonio

**Publisher:** Springer Science & Business Media

**ISBN:** 3540233423

**Category:** Computers

**Page:** 420

**View:** 8200

*4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings*

**Author**: Yamine Ait Ameur,Klaus-Dieter Schewe

**Publisher:** Springer

**ISBN:** 3662436523

**Category:** Mathematics

**Page:** 336

**View:** 5363

*First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings*

**Author**: Xuandong Li,Zhiming Liu,Wang Yi

**Publisher:** Springer

**ISBN:** 3319259423

**Category:** Computers

**Page:** 317

**View:** 6912

**Author**: Fred Kröger,Stephan Merz

**Publisher:** Springer Science & Business Media

**ISBN:** 3540674012

**Category:** Computers

**Page:** 436

**View:** 7494

*5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings*

**Author**: Michael Butler,Klaus-Dieter Schewe,Atif Mashkoor,Miklos Biro

**Publisher:** Springer

**ISBN:** 3319336002

**Category:** Mathematics

**Page:** 426

**View:** 311

*SDL, MSC and Trends*

**Author**: Ana Cavalli,Amardeo Sarma

**Publisher:** Elsevier

**ISBN:** 9780080541532

**Category:** Computers

**Page:** 551

**View:** 7446

**Author**: Henri Habrias,Marc Frappier

**Publisher:** John Wiley & Sons

**ISBN:** 1118613945

**Category:** Computers

**Page:** 418

**View:** 1068

*System and Software Engineering*

**Author**: Jean-Raymond Abrial

**Publisher:** Cambridge University Press

**ISBN:** 0521895561

**Category:** Computers

**Page:** 586

**View:** 8605

*6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers*

**Author**: Roman Wyrzykowski,Jack Dongarra,Norbert Meyer,Jerzy Wasniewski

**Publisher:** Springer

**ISBN:** N.A

**Category:** Parallel processing (Electronic computers)

**Page:** 1126

**View:** 7216

*Specification*

**Author**: Zohar Manna,Amir Pnueli

**Publisher:** Springer Science & Business Media

**ISBN:** 1461209315

**Category:** Computers

**Page:** 427

**View:** 5037

*A Specification Language and Its Formal Semantics*

**Author**: J. M. Spivey

**Publisher:** Cambridge University Press

**ISBN:** 9780521334297

**Category:** Computers

**Page:** 131

**View:** 1934

*A Comparison of Recidivism Patterns Among Four Successive Parolee Cohorts*

**Author**: Sheldon Ekland-Olson,William R. Kelly

**Publisher:** Springer Science & Business Media

**ISBN:** 1461395178

**Category:** Psychology

**Page:** 141

**View:** 5894

*Software Engineering for Reliable Embedded Systems*

**Author**: Eric Verhulst,Raymond T. Boute,José Miguel Sampaio Faria,Bernhard H.C. Sputh,Vitaliy Mezhuyev

**Publisher:** Springer Science & Business Media

**ISBN:** 9781441997364

**Category:** Technology & Engineering

**Page:** 219

**View:** 6871

**Author**: John Mitchell,Association for Computing Machinery

**Publisher:** N.A

**ISBN:** 9781595932310

**Category:** Computer security

**Page:** 83

**View:** 9364

**Author**: Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem

**Publisher:** Springer

**ISBN:** 3319105752

**Category:** Computers

**Page:** 1210

**View:** 1412

*An Introduction*

**Author**: Glynn Winskel

**Publisher:** MIT Press

**ISBN:** 9780262731034

**Category:** Computers

**Page:** 361

**View:** 4611

*SACMAT ...*

**Author**: Association for Computing Machinery

**Publisher:** N.A

**ISBN:** 9781581138726

**Category:** Computers

**Page:** 174

**View:** 1675

**Author**: Carlo A. Furia,Dino Mandrioli,Angelo Morzenti,Matteo Rossi

**Publisher:** Springer Science & Business Media

**ISBN:** 3642323316

**Category:** Computers

**Page:** 424

**View:** 9596