fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
B 2007

B 2007

B method (Computer science)Debugging in computer scienceCongresses
0.0
Open Library
Open Library

Themes & subjects

B method (Computer science)Debugging in computer scienceCongresses

Pages

293

Read time

≈ 7h

Editions

1

Language

English

Publisher

Springer

ISBN

9783540687603

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Modeling in event-b

B method (Computer science) · Verification

Modeling in event-b

Jean-Raymond Abrial

2006

The B-Book

Computer science · B method (Computer science)

The B-Book

J. R. Abrial

1996

The B-method (Cornerstones of Computing)

B method (Computer science)

The B-method (Cornerstones of Computing)

Steve Schneider

2001

The B-book

B method (Computer science) · Computer science

The B-book

Jean-Raymond Abrial

1996

Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings

Logic design · Computer science

Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings

Michael Butler

2008

Abstract State Machines Alloy B And Z

Logic design · Computational complexity

Abstract State Machines Alloy B And Z

Uwe Glasser

2010

B'98

Congresses · B method (Computer science)

B'98

International B Conference (2nd 1998 Montpellier, France)

1998

VHDL

Computer Technology · Nonfiction

VHDL

Douglas L. Perry

1991

Debugging with GDB

debugging · programming

Debugging with GDB

Richard Stallman

1988

Troubleshooting your PC for Dummies

Microcomputers · Maintenance and repair

Troubleshooting your PC for Dummies

Dan Gookin

2002

The art of software testing

Debugging in computer science · Testing

The art of software testing

Glenford J. Myers

2004

Zend Studio for eclipse developer's guide

Debugging in computer science · PHP (Computer program language)

Zend Studio for eclipse developer's guide

Peter MacIntyre

2007

The BUGS book

Bayesian statistical decision theory · MATHEMATICS / Probability & Statistics / General

The BUGS book

David Spiegelhalter

2009

Why programs fail

Debugging in computer science

Why programs fail

Andreas Zeller

2005

System design from provably correct constructs

Electronic dataprocessing · Software engineering

System design from provably correct constructs

James Martin

1984

PC Hacks

Microcomputers · Debugging in computer science

PC Hacks

Jim Aspinwall

2004

Essential software testing

Testing · Computer software

Essential software testing

Greg Fournier

2008

Troubleshooting Cisco Nexus Switches and NX-OS

Computer networks · Debugging in computer science

Troubleshooting Cisco Nexus Switches and NX-OS

Vinit Jain

2018