Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan

Embedded Systems: New Approaches to Their Formal...

Main
Computers - Hardware
Embedded Systems: New Approaches to...

Embedded Systems: New Approaches to Their Formal Description and Design An Advanced Course Zürich, Switzerland, March 5–7, 1986

Albert T. Kündig (auth.), A. Kündig, R. E. Bührer, J. Dähler (eds.)

0 / 0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Kategori:

Computers - Hardware

Tahun:

1987

Edisi:

1

Penerbit:

Springer-Verlag Berlin Heidelberg

Bahasa:

english

Halaman:

212

ISBN 10:

354018581X

ISBN 13:

9783540185819

Nama siri:

Lecture Notes in Computer Science 284

Fail:

DJVU, 1.92 MB

IPFS:

,

english, 1987

Muat turun buku ini tidak tersedia lagi kerana aduan pemegang hak cipta

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Mungkin anda berminat

Barry Boehm (auth.), C. Ghezzi, J. A. McDermid (eds.) — ESEC '89: 2nd European Software Engineering Conference University of Warwick, Coventry, UK September 11–15, 1989 Proceedings

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.) — Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

John G. Webster (Editor) — 56.Software Engineering

Derrick Morris (Eds.) — Concise Encyclopedia of Software Engineering

Carroll Morgan, Annabelle McIver — Programming methodology

Innes Jelly, Ian Gorton, Peter Croll (eds.) — Software Engineering for Parallel and Distributed Systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996

Darrel Ince, Derek Andrews — The Software Life Cycle

Ian Wand, Robin Milner (editors) — Computing tomorrow: future research directions in computer science

Patrick Ziegler, Klaus R. Dittrich (auth.), Renè Jacquart (eds.) — Building the Information Society: IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France

Mclver A., Morgan C. (Eds.) — Programming Methodology

Jonathan P. Bowen BA, MA, Michael G. Hinchey BSc, MSc, PhD (auth.) — High-Integrity System Specification and Design

Hongji Yang, Martin Ward — Successful Evolution of Software Systems

Michael G. Hinchey, Jonathan P. Bowen (eds.) — Industrial-strength formal methods in practice

H.S.M. Zedan, Antonio Cau — Object-Oriented Technology and Computing Systems Re-Engineering

Sriram Sankaranarayanan, Natasha Sharygina, (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, Part II

Sriram Sankaranarayanan; Natasha Sharygina — Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Par

Jürgen M. Schneider — Protocol Engineering: A Rule-based Approach

W. Brauer, W. Reisig, G. Rozenberg (eds.) — Petri Nets: Applications and Relationships to Other Models of Concurrency: Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

Rajeev Alur (auth.), Farn Wang (eds.) — Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.) — Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) — FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Barry Boehm (auth.), C. Ghezzi, J. A. McDermid (eds.) — ESEC '89: 2nd European Software Engineering Conference University of Warwick, Coventry, UK September 11–15, 1989 Proceedings

C. B. Jones (auth.), James C. P. Woodcock, Peter G. Larsen (eds.) — FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

Gérard Berry (auth.), Ed Brinksma (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings

Randal E. Bryant (auth.), Bernhard Steffen (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.) — Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) — FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Desconocido — Verified Software Theories Tools Experiments 1 Vstte 2005 4171 2008 3540691472 O 565s

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.) — Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Istilah utama