Central Library, KUET
Your cart is empty.
Cart
Your cart is empty.
Lists
Public lists
biomedical
1
C Programming
Computer Graphics
Database and data mining
View All
Your lists
Log in to create your own lists
Log in to your account
Khulna University of Engineering & Technology
Central Library
Search
Library catalog
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Authority search
Tag cloud
×
Log in to your account
Login:
Password:
Home
›
Results of search for 'au:"Boulanger, Jean-Louis."'
Refine your search
Availability
Limit to currently available items.
Authors
Boulanger, Jean-Loui...
Boulanger, Jean-Loui...
Series
Computer engineering...
ISTE
Topics
Computer simulation.
Computer software
COMPUTERS
Formal methods (Comp...
Systems engineering
Show more
Your search returned 4 results.
Unhighlight
Highlight
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
|
1.
Industrial used of formal method : formal verification /
edited by Jean-Louis Boulanger.
by
Boulanger, Jean-Louis.
Material type:
Book
; Format:
available online
; Literary form:
Not fiction
Publisher:
London : Hoboken, NJ : ISTE ; Wiley, ©2012
Online access:
Wiley Online Library
Availability:
No items available
Add to cart
(remove)
2.
Static analysis of software : the abstract interpretation /
edited by Jean-Louis Boulanger.
by
Boulanger, Jean-Louis.
Material type:
Book
; Format:
available online
; Literary form:
Not fiction
Publisher:
London, UK ; Hoboken, NJ : ISTE/Wiley, 2012
Online access:
Wiley Online Library
Availability:
No items available
Add to cart
(remove)
3.
Formal methods applied to industrial complex systems /
edited by Jean-Louis Boulanger.
by
Boulanger, Jean-Louis
[editor.]
.
Material type:
Book
; Format:
available online
; Literary form:
Not fiction
Publisher:
London : Hoboken, NJ : ISTE, Ltd. ; Wiley, 2014
Online access:
Wiley Online Library
Availability:
No items available
Add to cart
(remove)
4.
Formal methods applied to complex systems : implementation of the B Method /
edited by Jean-Louis Boulanger.
by
Boulanger, Jean-Louis
[editor.]
.
Material type:
Book
; Format:
available online
; Literary form:
Not fiction
Publisher:
London : Hoboken, NJ : ISTE ; Wiley, 2014
Online access:
Wiley Online Library
Availability:
No items available
Add to cart
(remove)
Khulna University of Engineering & Technology
Funded by:
HEQEP
, UGC, Bangladesh
