. . "B method (Computer science)"@en . _:b7iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b7iddOtlocdOtgovauthoritiessubjectssh98001960 _:b8iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b7iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b8iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b8iddOtlocdOtgovauthoritiessubjectssh98001960 "B method (Computer science)"@en . "150 0$aB method (Computer science)" . _:b13iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b13iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b13iddOtlocdOtgovauthoritiessubjectssh98001960 "QA76.9.B22" . _:b13iddOtlocdOtgovauthoritiessubjectssh98001960 . . . "B method (Computer science)" . . . "B-Methode" . . . . "Computer software--Development"@en . _:b31iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b31iddOtlocdOtgovauthoritiessubjectssh98001960 _:b32iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b31iddOtlocdOtgovauthoritiessubjectssh98001960 _:b039 . _:b32iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b32iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b32iddOtlocdOtgovauthoritiessubjectssh98001960 "Computer software"@en . _:b32iddOtlocdOtgovauthoritiessubjectssh98001960 _:b36iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b36iddOtlocdOtgovauthoritiessubjectssh98001960 _:b37iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b36iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b37iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b37iddOtlocdOtgovauthoritiessubjectssh98001960 "Computer software"@en . _:b039 _:b40iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b039 . _:b40iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b40iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b40iddOtlocdOtgovauthoritiessubjectssh98001960 "Development"@en . _:b40iddOtlocdOtgovauthoritiessubjectssh98001960 _:b44iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b44iddOtlocdOtgovauthoritiessubjectssh98001960 _:b45iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b44iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b45iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b45iddOtlocdOtgovauthoritiessubjectssh98001960 "Development"@en . . . . "Debugging in computer science"@en . _:b53iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b53iddOtlocdOtgovauthoritiessubjectssh98001960 _:b54iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b53iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b54iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b54iddOtlocdOtgovauthoritiessubjectssh98001960 "Debugging in computer science"@en . . . "B (méthode formelle)"@fr . . . . . "Abrial, Jean-Raymond Modeling in Event-B" . . . "Abrial, Jean-Raymond The B-book" . . . "Abrial, Jean-Raymond The B-book" . . . "Formal methods applied to complex systems" . . "sh 98001960" . . . _:b84iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b84iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b84iddOtlocdOtgovauthoritiessubjectssh98001960 "Work cat.: 98-18094: International B Conference, 1998" . _:b84iddOtlocdOtgovauthoritiessubjectssh98001960 "(In a sense, B-method is nothing else but a generalized debugging technology)"@en . _:b84iddOtlocdOtgovauthoritiessubjectssh98001960 "found" . _:b92iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b92iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b92iddOtlocdOtgovauthoritiessubjectssh98001960 "WWW. Yahoo, Mar. 30, 1998" . _:b92iddOtlocdOtgovauthoritiessubjectssh98001960 "(B-Method is a collection of mathematically based techniques for the specification, design and implementation of software components; also B method)"@en . _:b92iddOtlocdOtgovauthoritiessubjectssh98001960 "found" . _:b100iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b100iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b100iddOtlocdOtgovauthoritiessubjectssh98001960 "Abrial, J. The B-book, 1996:" . _:b100iddOtlocdOtgovauthoritiessubjectssh98001960 "p. xii (The B method, being a 'model-oriented' method of software construction) p. xv (B is a method for specifying, designing and coding software systems)"@en . _:b100iddOtlocdOtgovauthoritiessubjectssh98001960 "found" . _:b108iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b108iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b108iddOtlocdOtgovauthoritiessubjectssh98001960 "1998-03-30T00:00:00"^^ . _:b108iddOtlocdOtgovauthoritiessubjectssh98001960 "new"^^ . _:b108iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b115iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b115iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b115iddOtlocdOtgovauthoritiessubjectssh98001960 "1998-05-04T11:18:44"^^ . _:b115iddOtlocdOtgovauthoritiessubjectssh98001960 "revised"^^ . _:b115iddOtlocdOtgovauthoritiessubjectssh98001960 . . "B method (Computer science)"@en . . . "Computer software--Development"@en . . . "Debugging in computer science"@en . . . "B method (Computer science)" . . . "B-Methode" . . . "B (méthode formelle)"@fr . . _:b151iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b151iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b151iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b151iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b151iddOtlocdOtgovauthoritiessubjectssh98001960 "1998-03-30T00:00:00"^^ . _:b151iddOtlocdOtgovauthoritiessubjectssh98001960 "new"^^ . _:b159iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b159iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b159iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b159iddOtlocdOtgovauthoritiessubjectssh98001960 . _:b159iddOtlocdOtgovauthoritiessubjectssh98001960 "1998-05-04T11:18:44"^^ . _:b159iddOtlocdOtgovauthoritiessubjectssh98001960 "revised"^^ .